测试

#include<stdio.h>void main(){      printf("%s", "123");}