34c34,36
< #include "arch/x86/registers.hh"
---
> #include <iostream>
> #include <string>
>
36a39
> #include "arch/x86/registers.hh"
39,41d41
< #include <string>
< #include <iostream>
<