misc function stubs and basic FSM semantics