mapping.c, PIKE_MAPPING_KEYPAIR_LOOP, Broken code below?