Very low-level definitions for MP types.