SFAS_NS_FINISHED
nexus->state = SFAS_NS_FINISHED;
nexus->state = SFAS_NS_FINISHED;
nexus->state = SFAS_NS_FINISHED;
if (nexus->state == SFAS_NS_FINISHED)
while(nexus->state != SFAS_NS_FINISHED) {