pty_check
ASSX(pty_check(kq, ev, 4, -massa, -slave, massa, slave) == 0);
ASSX(pty_check(kq, ev, 4, -massa, slave, -massa, slave) == 0);
ASSX(pty_check(kq, ev, 4, -massa, slave, massa, slave) == 0);
ASSX(pty_check(kq, ev, 4, -massa, -slave, massa, slave) == 0);
ASSX(pty_check(kq, ev, 4, -massa, -slave, massa, slave) == 0);
ASSX(pty_check(kq, ev, 4, -massa, slave, massa, slave) == 0);