pub fn validate_code_section(
    wasm: &mut WasmReader<'_>,
    section_header: SectionHeader,
    fn_types: &[FuncType],
    type_idx_of_fn: &[usize],
    globals: &[Global]
) -> Result<Vec<Span>>