char version_string[] = "$Name: V0_38 $";
