added ext-SPL_Types