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

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