RIVET_implementations_public