#pragma once
#include <kernel/proc.h>

_Noreturn void execbuf_run(Proc *proc);