Function call_options_allow_reentrancy 

fn call_options_allow_reentrancy(
    gcx: Gcx<'_>,
    opts: Option<&CallOptions<'_>>,
) -> bool

True unless a gas: option provably leaves the callee too little gas to reenter.