[Termtools] technical information about StarExec