import "libc.hff";

defmacro assert {
(ex,s) [ (do
   if not (ex) {
      fprintf(stderr, "%s:%d: assertion failed: ", #FILE, #LINE);
      fprintf(stderr, "`%s'", (s));
      fprintf(stderr, "\n");
      abort();
   }
) ]
}