urbit/pkg/autoprop/mar/ship.hoon