Loading annotation for plumbing-of-everyday-magic.hyp…