Artifacts of rap-head-runtime-signed #824