/* * miscellany */