#define NOT_CONSISTENT 1
#include "tst-robust2.c"