typedefs of builtin types are also translated