6.5.2 runtime.m