void ex_substitute()
{
}