This actually doesn't need to be changed just yet

The Hack/XHP interface code will be totally different