HANDLE returns a handle to the typed structure x.
>>-HANDLE(x)---------------------------------------------------><