library for volatile class members in php