This is an old revision of the document!
The Vircon32: C API reference page may be helpful - http://www.vircon32.com/api.html
There is obviously your arrow key inputs but there are other buttons available as well. At least for gamepad(0) we have button_?_ = ? for the average keyboard:
These probably aren't needed but are here incase.