A compiler for the virtual programming language BALAN