Some custom PHP Extensions, mostly playground