*JfcaState>Z
*(*<Z)="jfca instance 0 ->"ttKn
*(*<Z+0t4)="jfca instance 1 ->"ttKn
*(*<Z+(2*0t4))="jfca instance 2 ->"ttKn
*(*<Z+(3*0t4))="jfca instance 3 ->"ttKn
*(*<Z+(4*0t4))="jfca instance 4 ->"ttKn
*(*<Z+(5*0t4))="jfca instance 5 ->"ttKn
*(*<Z+(6*0t4))="jfca instance 6 ->"ttKn
*(*<Z+(7*0t4))="jfca instance 7 ->"ttKn
