Generating global type information.
Implemented leaky-alloc