Everything should work, need to finish proc.v
Added everything that should be needed. Need to finish proc.v then test.