#include "usg_common.h"
int main() {

	uint64_t  a = 3;
	uint64_t  a1 = 2;
	uint64_t  a2 = 4;
	//int r = __sync_val_compare_and_swap((uint64_t *)&a, a1, a2);
	
	//printf("r = %d, a = %d\n", r, a);
	bool r = __sync_bool_compare_and_swap((uint64_t *)&a, a1, a2);
	printf("r = %d, a = %d, a1 = %d\n", r, a, a1);
}