#lang reader (submod "stacker-lang.rkt" reader) push 4 push 8 + push 3 *