Test for err:XS0007 #002