proc welcome(output: Output; nim: string) {....raises: [IOError, OSError],
    tags: [WriteIOEffect, ExecIOEffect, ReadIOEffect, RootEffect], forbids: [].}