run_while 56 uspace/app/sbi/src/run.c static void run_while(run_t *run, stree_while_t *while_s); run_while 316 uspace/app/sbi/src/run.c run_while(run, stat->u.while_s);