pub fn core_withdraw_gas(db: &dyn SemanticGroup) -> FunctionId