Integrate misc commits from #440#442

katef merged 5 commits into

mainkatef/libfsm:mainfrom

sv/integrate-misc-commits-from-440katef/libfsm:sv/integrate-misc-commits-from-440Copy head branch name to clipboard