proc test(): int = 4