var state = aux_state(­'aux1');