LexOS: more testing