let dot_prog = !dot_prog