End semantics, begun code gen.