Shipping (some) HACL*