Macks is a physical units preprocessor. Given a set of fundamental units, other units derived from them, and vectors of units, Macks produces Ada package specs and bodies which implement these relationships in a type-safe way.