Function write_nef_file 

fn write_nef_file(
    path: &str,
    script: &[u8],
    tokens: &[MethodToken],
    source: &str,
    json_warnings: bool,
) -> Result<u32, String>