Updated asst_test.c file -- generating 'spec' file