module Termlib