Function check_native_call 

pub fn check_native_call(
    cap: &Cap,
    table: &NativeTable,
    idx: NativeIdx,
) -> Result<(), NativeCallError>

Pure check — call from CALL_NATIVE before indexing table.entries.