implemented #insert in 1.4.cpp