def make_binary(ast, M): return Binary.make_binary(M)
def make_binary(ast, M): 'Generate executable function' return Binary.make_binary(ast, M)