Temasek Kernel 200713-1220