/mit/6.111-nfs/warp4.3/lib/ieee/work/stdlogic.vif