Examples from the training session of PHP extensions