r9904: patch from Marco B. for openmcl get-slot-value