How did you decide what pragmas to use here?