#include <stdio.h>
#include <stdlib.h>

int main() {
  // Declare a string to store the formatted output
  char str[10];

  // Convert the integer 123 to a string
  sprintf(str, "%d", 123);

  // Print the string
  printf("%s\n", str);

  return 0;
}