F367TER_LK
u_var = stv0367_readbits(state, F367TER_LK);
locked = (stv0367_readbits(state, F367TER_LK));
(!stv0367_readbits(state, F367TER_LK))) {
(stv0367_readbits(state, F367TER_LK));
if (stv0367_readbits(state, F367TER_LK)) {
u_var1 = stv0367_readbits(state, F367TER_LK);
u_var1 = stv0367_readbits(state, F367TER_LK);