Make UNPREDICTABLE LO/HI behavior configurable from run.sml