Implementing FLUSH construct

Expands to the __sync_synchronize builtin.