/patch-MANUAL/1.3/Thu Feb  4 22:13:09 2021//
/patch-externs_h/1.3/Thu Feb  4 22:13:10 2021//
/patch-kroute_c/1.7/Thu Feb  4 22:13:10 2021//
D
