Binar file IO (#54).