[MERGED] Include definitions

This topic has been merged into Pin names to pin numbers.