This can be merged into the `DefStatic` arm above?