Rivet  3.1.1
Utility functions