warnings

Warning-related utilities.