used call to random_flags when resolving a Schubert problem in drivers