library for volatile class members in PHP