6.5.3 runtime.p