A programming language translator