deleted example kernel