/**/_xdc_._87aehi && _xdc_._87aehi( [0,12,0] )