Where is init.insert defined ?  I don't see it ...