Add __sync_val_compare_and_swap_4()