#include <stdint.h>
#include "foo.h"

int32_t bar1() {
  return 5;
}