util

Utility functions.