Model calls as *both* using *and* killing O0..O5, because callees use the