#lang racket/base
(require "../lang/semantics.rkt")
(toplevel
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(loop (increment-data-pointer)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-data-pointer)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-data-pointer)
(increment-byte)
(increment-byte)
(increment-byte)
(increment-data-pointer)
(increment-byte)
(decrement-data-pointer)
(decrement-data-pointer)
(decrement-data-pointer)
(decrement-data-pointer)
(decrement-byte))
(increment-data-pointer) (increment-byte) (increment-byte) (output-byte)
(increment-data-pointer) (increment-byte) (output-byte)
(increment-byte)(increment-byte)(increment-byte)(increment-byte)(increment-byte) (increment-byte)(increment-byte) (output-byte)
(output-byte)
(increment-byte) (increment-byte) (increment-byte) (output-byte)
(increment-data-pointer) (increment-byte) (increment-byte) (output-byte)
(decrement-data-pointer) (decrement-data-pointer)
(increment-byte) (increment-byte)(increment-byte)(increment-byte)(increment-byte)
(increment-byte) (increment-byte)(increment-byte)(increment-byte)(increment-byte)
(increment-byte) (increment-byte)(increment-byte)(increment-byte)(increment-byte)
(output-byte)
(increment-data-pointer) (output-byte)
(increment-byte) (increment-byte) (increment-byte) (output-byte)
(decrement-byte) (decrement-byte) (decrement-byte) (decrement-byte) (decrement-byte)
(decrement-byte) (output-byte)
(decrement-byte) (decrement-byte) (decrement-byte) (decrement-byte) (decrement-byte)
(decrement-byte) (decrement-byte) (decrement-byte) (output-byte)
(increment-data-pointer) (increment-byte) (output-byte)
(increment-data-pointer) (output-byte))