detail::LockedStorage::push(): workaround for g++-4.7.