Symbol: print_temp_K