Evaluated proc hb {t b} {. }