pert:
The Arduino pin numbers are written right there on the silkscreen of the board. Use those numbers in your Arduino code.
So if I take that literally, I would define them in my code like this:
#define pin11 . D11
#define pin12 . D12
And I've tried this before, and some pin numbers work this way and some don't ... again ... inconsistencies.