#include "random_header.h" /* A
                              B */

int main() {
  // If this compiles, then everything is fine.
  return 0;
}