Function syscall_fuel_handler 

pub fn syscall_fuel_handler(
    caller: &mut impl StoreTr<RuntimeContext>,
    _params: &[Value],
    result: &mut [Value],
) -> Result<(), TrapCode>

Writes the remaining fuel (or u64::MAX if metering is disabled) into result[0].