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