adding a pre-type-checked model of mac