/* This should be compiled with a C compiler, NOT with BUPC */
int shared(void) {  return 1; }
int strict(void) {  return 2; }
int relaxed(void) { return 3; }