/* Do not remove the headers from this file! see /USAGE for more info. */

private string death_message;

string query_death_message()
{
   return death_message;
}

void set_death_message(string msg)
{
   death_message = msg;
}