let cbug cond msg = if not cond then bug msg