Update asv-4x12.c