pop() does check existence of key