#lang racket/base ;; THIS FILE IS GENERATED (require "protobj.rkt") (provide (all-from-out "protobj.rkt"))