/**/_xdc_._aevi4s && _xdc_._aevi4s( [0,15,0] )