Sort of working macro, sort of working custom assert fn