func exit(c: int) {....raises: [], tags: [], forbids: [].}
proc exit(s: string) {....raises: [], tags: [], forbids: [].}