Implementing FLUSH construct#

Expands to the __sync_synchronize builtin.