{
volatile bool * __p__ = &((__a__)->__f__);
model->switch_to_master(new ModelAction(ATOMIC_WRITE, __x__, (void *) __p__, false));
{
volatile bool * __p__ = &((__a__)->__f__);
model->switch_to_master(new ModelAction(ATOMIC_WRITE, __x__, (void *) __p__, false));