+function psi\abs(int $i) : int {
+ let n = intval($i);
+ return to_int(abs);
+}
-extern void free(void *ptr);
+function psi\div(int $numerator, int $denominator) : array {
+ let numerator = intval($numerator);
+ let denominator = intval($denominator);
+ return to_array(div, to_int(quot), to_int(rem));
+}
+
+function psi\ldiv(int $numerator, int $denominator) : array {
+ let numerator = intval($numerator);
+ let denominator = intval($denominator);
+ return to_array(ldiv, to_int(quot), to_int(rem));
+}
+
+function psi\lldiv(int $numerator, int $denominator) : array {
+ let numerator = intval($numerator);
+ let denominator = intval($denominator);
+ return to_array(lldiv, to_int(quot), to_int(rem));
+}