void ex_print()
{
}