sketching the meta code section in the paper