Symbol: gf2_matrix_times