#include "share/atspre_staload.hats"

#define ATS_DYNLOADFLAG 0

staload "kernel/output/writer.sats"

extern fun print_newline() : void
implement print_newline() : void = put_string("\n")

extern fun assert_errmsg(b: bool, msg: string) : void
implement assert_errmsg(b: bool, msg: string) : void = put_string(msg)

overload print with put_string of 1

macdef assertloc(tf) = assert_errmsg (,(tf), $mylocation)