(Core) (r4300) Start using stdint types