phpSpec example