Some polishing and a tail call example