let immodulo = Dynamic.register "immodulo" ~journalize:false int_model IMmodulo