USING: kernel system ; t [ 0 exit ] when