fn write_obj_header(f: &mut File, obj: &ObjectEncode) {
    // header is 8 bytes aligned, and takes 24 bytes
    write_align(f, 8);
    let hdr = obj.as_raw();
    f.write_fmt(format_args!("\t.quad {}\n", hdr[0])).unwrap();
    f.write_fmt(format_args!("\t.quad {}\n", hdr[1])).unwrap();
    f.write_fmt(format_args!("\t.quad {}\n", hdr[2])).unwrap();
}
/// writes header for a dumped object
writes header for a dumped object
writes header for a dumped object
fn write_obj_header(f: &mut File, obj: &ObjectEncode) {
    // header is 8 bytes aligned, and takes 24 bytes
    write_align(f, 8);
    let hdr = obj.as_raw();
    f.write_fmt(format_args!("\t.quad {}\n", hdr[0])).unwrap();
    f.write_fmt(format_args!("\t.quad {}\n", hdr[1])).unwrap();
    f.write_fmt(format_args!("\t.quad {}\n", hdr[2])).unwrap();
}
fn write_obj_header ( f : & mut File , obj : & ObjectEncode ) { // header is 8 bytes aligned, and takes 24 bytes write_align ( f , 8 ) ; let hdr = obj . as_raw ( ) ; f . write_fmt ( format_args ! ( " \t \n " hdr [ 0 ] ) ) . unwrap ( ) ; f . write_fmt ( format_args ! ( " \t \n " hdr [ 1 ] ) ) . unwrap ( ) ; f . write_fmt ( format_args ! ( " \t \n " hdr [ 2 ] ) ) . unwrap ( ) ; }
writes header for a dumped object
writes header for a dumped object
f
&mut File
obj
&ObjectEncode
f
&mut File
obj
&ObjectEncode