let print_instruction ((inst, e1, e2, e3): instruction) (out: out_channel) = ( print_instcode inst out; print_element e1 out; print_element e2 out; print_element e3 out; output_string out "\n" )