*** clasp ERROR: std::bad_alloc