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