A compiler for the programming language Carlos