proc checkHr(hr: int32; msg: string) {....raises: [Exception, KeyError], tags: [], forbids: [].}
proc messageHr(hr: int32; msg: string): string {....raises: [KeyError], tags: [], forbids: [].}