All pragmas are leading