For OVQP, you will need the -D flag. add_simp -- 81 check -- 81 concatsym -- 82 dispose -- 71 equelatt -- 80 equeleol -- 80 exactkey -- 85 findsimps -- 81 ftoi2 -- 87 ftoi4 -- 87 getsymbol -- 84 i2toi4 -- 87 i4toi2 -- 87 indexcheck -- 86 interpret -- 72 itof -- 87 rangekey -- 85 rcvt -- 84 scan -- 71 setallkey -- 86 strategy -- 70 tid_only_test -- 89 tout -- 84 70 -- strategy 71 -- dispose 71 -- scan 72 -- interpret 80 -- equelatt 80 -- equeleol 81 -- add_simp 81 -- check 81 -- findsimps 82 -- concatsym 84 -- getsymbol 84 -- rcvt 84 -- tout 85 -- exactkey 85 -- rangekey 86 -- indexcheck 86 -- setallkey 87 -- ftoi2 87 -- ftoi4 87 -- i2toi4 87 -- i4toi2 87 -- itof 89 -- tid_only_test