text: // This file is part of the mkcheck project.
  // Licensing information can be found in the LICENSE file.
  // (C) 2017 Nandor Licker. All rights reserved.
  
  #include <stdio.h>
  #include "b.h"
  #include "a.h"
  
  void b()
  {
    a();
    puts("B");
  }
  