- user-eventrecord
- user-event-type user-eventprocedure
- user-event-source user-eventprocedure
- user-event-timestamp user-eventprocedure
- user-event-data1 user-eventprocedure
- user-event-data1-set! user-event integersetter
- user-event-data2 user-eventprocedure
- user-event-data2-set! user-event integersetter
- user-event-data3 user-eventprocedure
- user-event-data3-set! user-event integersetter
- user-event-data4 user-eventprocedure
- user-event-data4-set! user-event integersetter