void ex_preserve()
{
}