proc PySys_EchoStderr(s: string) {....raises: [],
                                   tags: [RootEffect, WriteIOEffect],
                                   forbids: [].}