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"
        )