smithy4s.tracking.smithy