(([1.autosert_true(2>-1);
assert_false(3<-2);
assert_true(-1==-1);

]))