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