b3801bffc18d285fe541a6cf48c1193ad8472723		branch 'master' of https://gitlab.eclipse.org/eclipse/titan/titan.Libraries.TCCUsefulFunctions