Function emit_push_u32 

fn emit_push_u32(script: &mut Vec<u8>, value: u32)