dlload("./curry.so");

TYPE
 t = a:INT
     b:STR;
ENDTYPE

a <- 34;

pp(if( cur(add,<33,34>) == 67 /\
       cur(add,<33,a>) == 67 /\
       cur(min,<33,a,6,23>) == 6 /\
       cur('t,<12,"aaa">) == t(12,"aaa") -> "ok",
      else -> "ERROR"));
quit.