add sexpr to eval in main function