Placeholder for FSM library