use crate::proc::task::*;
use alloc::collections::VecDeque;
// TODO the lifetime here is pretty much broken. Fix this later