Issue #166. Change the content of WuKongStandardLibrary