A compiler for the c0 language