1#include <stdio.h>
2
3int main() {
4 int counter = 0;
5 printf(format: "I print one time: %d.\n", counter++);
6 printf(format: "I print two times: %d.\n", counter++);
7 return counter;
8}
9

source code of lldb/test/API/python_api/global_module_cache/two-print.c