#include "bad2.h"


int bad2() {
  int a =2;
  return a;

}