// Memory fence operations
void haatomic_load_fence(void);
void haatomic_store_fence(void);
void haatomic_full_fence(void);

// Compare and swap for 64-bit integers
// Returns 1 if successful, 0 if failed
// *ptr is the target memory location
// expected is the value we expect to find
// new_value is what we want to write if expected matches
int haatomic_cas_i64(int64_t* ptr, int64_t expected, int64_t new_value);