proc input(prompt = str("")): PyStr {....raises: [RuntimeError, OSError, Exception,
    IOError], tags: [RootEffect, WriteIOEffect, ReadIOEffect], forbids: [].}