examples: plug leak in example