Subtlety in the source code of Rick Dangerous (Flash version here: http://rickdangerousflash.free.fr/)