Artifacts of rap-head-runtime #2557