BIND converts the pointer p to a handle for the structure type t. The BIND function can be used as a locator for a member of a typed structure.
>>-BIND--(:--t--,--p--:)---------------------------------------><