A selection of general-utility IO function
