Some utility functions.

OK. Comment withdrawn