let-def/doubledouble not found