Procs

proc double(x: int): int {....raises: [], tags: [], forbids: [].}