Demystifying magic: High-level low-level programmingDaniel FramptonStephen M. Blackburnet al.2009VEE 2009