Note utility functions for #16