nsat/src/libmix++/misc
