D/not////
D/sym_check////
