Procs

proc set_trace() {....raises: [Exception, ValueError, OSError, IOError, EOFError,
                            KeyError], tags: [RootEffect].}