Temasek Kernel 260713-1415