Artifacts of rap-head-tools #2638