Converted to use current sexprs package