Initialize global variables non-deterministically