.write_reg_3a (execute_out_write_reg), // Templated
.write_num_3a (execute_out_write_num), // Templated
.write_data_3a (execute_out_write_data), // Templated
.write_reg_3a (execute_out_write_reg), // Templated
.write_num_3a (execute_out_write_num), // Templated
.write_data_3a (execute_out_write_data), // Templated