Update and rename test.c to seq-full.hcl