In src/main/devices.c R_Devices is defined as:
and comments say that R_MaxDevices set to 64. This means R_Devices can be
accessed with values between 0 and 63. The check for devnum > R_MaxDevices
allows 64 to be used which is outside of the legal limits.
A patch addressing this issue will be attached.
Created attachment 2280 [details]
Patch to fix the issue
Thank you for the report and the patch!
I'm commiting the fix.