kcode_reset_option 201 re.c               kcode_reset_option();
kcode_reset_option 394 re.c           	    kcode_reset_option();
kcode_reset_option 683 re.c           	kcode_reset_option();
kcode_reset_option 717 re.c           	kcode_reset_option();
kcode_reset_option 729 re.c           	kcode_reset_option();
kcode_reset_option 1016 re.c           	kcode_reset_option();
kcode_reset_option 1271 re.c               kcode_reset_option();