useful general-purpose tools