exitst1 2 resultTest=TestStatus
exitst2 4 resultTest=TestStatus
initstat 1
timeout 2 resultTest=TestErrFatal timeLimit=10
version 1
finalized 1
attrself 1
library_version 1
session 4
session_mult_init 4
session_mult_init 4 arg=5
session_psets 1
session_self 1
