Miscellaneous utilities used throughout RA.