pub fn assert_value(v: &CodeValue)
assert v semantics: fatal error (never returns) if v isn’t true.
assert v
v
true