if(has_value(id_xml_order, current->id))// Return marker for write_xml_file()// - where to re-insert <str> again.// This is done to make sure the file // really is updated.return"\7\7\7\7"; // Should be unique enoughreturn"\b";

array(string) get_tokens(string in, mapping args, string filename){// Picks out tokens from <locale-token>-tag in pikesource// The order between // blocks and /* */ blocks is not important// for our purposes.