Case study for a php extension