c compiler subgroup of compiler, 3 assertions