Rest of temasek kernel.