-- dereference service can now accept a handle to a struct or array, which as the effect of setting the base address of the composite
-- create_struct service can take a first <pointer> argument, forcing the representation of a struct created to be based at address <pointer>.
