I think the first line imports view.k: http://www.kparc.com/$/view.k