Index: /trunk/ccl/lisp-kernel/x86-spentry64.s
===================================================================
--- /trunk/ccl/lisp-kernel/x86-spentry64.s	(revision 5422)
+++ /trunk/ccl/lisp-kernel/x86-spentry64.s	(revision 5423)
@@ -2881,5 +2881,5 @@
 local_label(opt):	
 	__(movw %nargs,%imm0_w)
-	__(shrl $8,%imm0_l)
+	__(shrw $8,%imm0_w)
 	__(je local_label(rest_keys))
 	__(btl $initopt_bit,%nargs_l)
@@ -3001,5 +3001,5 @@
 	__(subl $1,%imm0_l)
 	__(btsl $seen_aok_bit,%nargs_l)
-	__(jnc local_label(match_keys_loop))
+	__(jc local_label(match_keys_loop))
 	/* First time we've seen :allow-other-keys.  Maybe set aok_bit.   */
 	__(compare_reg_to_nil(%save3))