Semantics stubs