Maria, please, replace these braces with `do { ... } while((void)0, 0)`