proc serve(port = 3000) {....raises: [Exception, ValueError, OSError], tags: [
    RootEffect, TimeEffect, WriteIOEffect, ReadIOEffect, ReadDirEffect].}