/* ****** ****** */ // #error(PATSOPT_ERROR_(patsopt(kernel/main.dats): trans3-errors)) // /* ****** ****** */