catchorg/Catch2 ? reverse-engineered prompt