# mod(a,b) is a mod b;