Full handed-out source code for Paladim compiler (by Jost Berthold and Cosmin Oancea ++)