# Derives for carpenter crate