Artifacts of rap-head-tools #1719