DIRTY_TYPES: 3