LET readtermvec() = VALOF
$(  LET termvec = sendpkt(notinuse, consoletask, act.read.termvec, -1)
    RESULT2 := 0
    RESULTIS termvec
$)


