Some time ago I thought that #3343 would be necessary to decrease used memory space, but I noticed that my thought was incorrect. So I discarded #3343.