When we want a machine to boot MacOS, points OF to load a boot kernel for macos from the hard disc. The string "hd:,\\:tbxi" in forth OF syntax can be interpreted as "hard drive:default-partition,\\(t)he(b)lessed e(x)ecutable(i)mage" or something to that effect.