/**/_xdc_._rv8e3k && _xdc_._rv8e3k( [1,null,0] )