proc read_str(str: string): JoyListType {...}{. raises: [Exception, ValueError, EInvalidPeg], tags: [RootEffect].}