@dbounds It's more a use of the spec rather than something that needs to be written in explicitly. Might be worth mentioning as a use case.