Sanity check before we work on a grammar for bytecode