X86/Inputs/inline-main.c

*7bccf8d2SMaksim Panchenkoextern void foo();
*7bccf8d2SMaksim Panchenkoint main() {
*7bccf8d2SMaksim Panchenko  foo();
*7bccf8d2SMaksim Panchenko  return 0;
*7bccf8d2SMaksim Panchenko}