Missign Slides: Pragmas: Literal Messages as Powerful Method Annotations