Dummy pointers to actual non-pointers allocatable targets

Thanks for the clarification. @RonShepard I’m sorry for not having understood your second answer in the first place, don’t know why I got the idea that I had to add OPTIONAL instead of just declaring it as such. Thanks to both for the useful comments.