Cra 505 Cra-708 mostly fixed, case 1 now runs ok on linux test suite.