w32_version_string  139 src/editfns.c    Voperating_system_release = build_string (w32_version_string ());
w32_version_string   55 src/w32common.h extern char * w32_version_string (void);