UUID extension for HipHop VM (HHVM HNI DSO)