Various small utility programs