ThreadContext::ThreadContext(std::function<void()> code, void_pfn_smxprocess_t cleanup, smx_actor_t actor, bool maestro)
: AttachContext(std::move(code), cleanup, actor), is_maestro_(maestro)
{
ThreadContext::ThreadContext(std::function<void()> code, void_pfn_smxprocess_t cleanup, smx_actor_t actor, bool maestro)
: AttachContext(std::move(code), cleanup, actor), is_maestro_(maestro)
{