requires = "frama-c-eva.mthread.gui"
