updated some runtime semantics and methods called.