int user_main(int argc, char **argv)
{
- struct mpmc_boundq_1_alt<int32_t, 2> queue;
+ struct mpmc_boundq_1_alt<int32_t, sizeof(int32_t)> queue;
thrd_t A[MAXWRITERS], B[MAXREADERS], C[MAXRDWR];
/* Note: optarg() / optind is broken in model-checker - workaround is