SilcFSM silc_fsm_get_machine(SilcFSMThread thread);
Returns the machine from the FSM thread indicated by `thread'.