0000000000000000000000000000000000000000 b3801bffc18d285fe541a6cf48c1193ad8472723 root 1722510518 +0000 clone: from https://gitlab.eclipse.org/eclipse/titan/titan.Libraries.TCCUsefulFunctions