If you refer to ident pin like for

HIGH PinNumber

as

HIGH 0

you'll find some information in the page 26 of the PBP manual.

BUT i'll prefer to use PIN NAME instead of pin number... more easy to read.

ex:

HIGH PORTB.0