Text this: Bilevel programs with extremal value function: global optimality