Types with this new attribute will have unusual semantics - you can't have arrays of them nor take the addresses of objects with that type,