Move miscellaneous functions to util.
More specific assert in INIT.
Whitespace, again.