Symbol: print_transmeta_info