semantics bugs