Misc hk
asserted*: incl. ns in error messages
asserted*: incl. line number in error messages