The dead simple php serializer