bug: segfault at stk_run()