strcat_extension
kdata_filename = strcat_extension(checkpoint_file, ".kern");
meta_filename = strcat_extension(checkpoint_file, ".meta");
kdata_filename = strcat_extension(filename, ".kern");
meta_filename = strcat_extension(filename, ".meta");