Use push2 in fileSizeImpl