Added dummy procedures to translatejimple.ml