proc getInt*(): int = return 42 # back to the answer...