IN: kernel
: version "0.80" ;