[PPT] - Applying Language-based Static Verification in an ARM Operating PowerPoint Presentation