Add support for debugging a 32-bit program

This is not particularly nice but it does the job for now. I'd like to look at whether there is an API to have debugger itself retrieving the size of each type, basically an equivalent of using sizeof()