Sample cases given in RunDarwin.out now work