Document how byte code is output