PETSCII_CODE_F1  = $85
PETSCII_CODE_F2  = $89
PETSCII_CODE_F3  = $86
PETSCII_CODE_F4  = $8a
PETSCII_CODE_F5  = $87
PETSCII_CODE_F6  = $8b
PETSCII_CODE_F7  = $88
PETSCII_CODE_F8  = $8c
PETSCII_CODE_F9  = $10
PETSCII_CODE_F10 = $15
PETSCII_CODE_F11 = $16
PETSCII_CODE_F12 = $17

PETSCII_CODE_DOWN  = $11
PETSCII_CODE_UP    = $91
