cpp_real_time_krk_31