staload UN = "prelude/SATS/unsafe.sats"

fun panic_loc (loc: string, msg: string) :<> void

macdef panic(msg) = panic_loc($mylocation, ,(msg))