A repo of Issue950 in KRuntime