misc
	Miscellaneous support routines.
