hal-marshal.[ch]
