zinst symbolic test