void ex_abbreviate()
{
}