#define ATS_MAINATSFLAG 1

#include "share/atspre_staload.hats"
#include "ats-src/number-theory.dats"

extern
fun mod(int, int) : int =
  "mac#"

implement mod (m, n) =
  m % n