html checkelf output