Make the format string in ud_asmprintf a const char* since we pass it literals.