complete the alternative definition of a counter-system supercompiler