gawk: Extension Version String

1 
1 16.4.5.3 Registering An Extension Version String
1 ................................................
1 
1 You can register a version string that indicates the name and version of
1 your extension with 'gawk', as follows:
1 
1 'void register_ext_version(const char *version);'
1      Register the string pointed to by 'version' with 'gawk'.  Note that
1      'gawk' does _not_ copy the 'version' string, so it should not be
1      changed.
1 
1    'gawk' prints all registered extension version strings when it is
1 invoked with the '--version' option.
1