Need to fix c1206.c