sketch (new) definition of compiler from top to bytecode