[Nestedvm] int16_t and friends?

[Simmons, Aaron]

Does NestedVM have headers that define int16_t and friends?  I have some code that makes use of them, for example:
        #include <stdint.h>
        #include <sys/types.h>

        int main() {
           int16_t a;
           int32_t b;
           u_int32_t c;
           uint32_t d;
           int64_t e;
           return 0;
        }

This compiles with gcc-3.3 but not with NestedVM's gcc.

I suppose I could make my own typedefs with some conditional compilation.  What sizes should these be?  I'm guessing:
        typedef short int16_t;
        typedef int int32_t;
        typedef unsigned int u_int32_t; 
        typedef unsigned int uint32_t;
        typedef long long int64_t;



Thanks,
aaron