5.5.2.2 Runtime semantics