Source-to-source translator from Java to C