Temasek Kernel 210713-0736