semantics and wrappers