fn uses_fallback_global( functions: &[Function], non_volatile_count: u16, volatile_count: u16, ) -> bool