K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1998-10-22T13:49:51.000000Z
K 7
svn:log
V 294
Quote port names that have a digit in them.  IO_TIMER1 was lexed as
{ port_name = "IO_TIMER", port_number = 1 } and only worked because
it was reassembled to "IO_TIMER1".  Trailing digits always work, but
this is too magic to depend on.

Don't quote port names that don't have a digit in them.

END