combine  python lex&yacc with llvmpy; addd binary_search test