Mariamole compiles