109   Terminator terminator{source, line};  in RTNAME()  local
111   RUNTIME_CHECK(terminator, typeCode && typeCode->first == TypeCategory::Real);  in RTNAME()
138   terminator.Crash("not yet implemented: RANDOM_NUMBER(): REAL kind %d", kind);  in RTNAME()
143   Terminator terminator{source, line};  in RTNAME()  local
145   RUNTIME_CHECK(terminator,  in RTNAME()
156     terminator.Crash(  in RTNAME()
163   Terminator terminator{source, line};  in RTNAME()  local
165   RUNTIME_CHECK(terminator,  in RTNAME()
178     terminator.Crash("not yet implemented: RANDOM_SEED(PUT=): kind %d\n", kind);  in RTNAME()
197   Terminator terminator{source, line};  in RTNAME()  local
199   RUNTIME_CHECK(terminator,  in RTNAME()
217     terminator.Crash("not yet implemented: RANDOM_SEED(GET=): kind %d\n", kind);  in RTNAME()