test/API/python_api/sbmodule/main.c

extern int a(int);
extern int b(int);
int main() {
  while (1) // break here
    ;
  return 42;
}