/* Misc. definitions */