More correct example is better: `e.g. 'int foo(int x, int y) pure'`