Pragmas for 2015 Monkey robot