void ex_tilde()
{
}