#include "bar.h"

int32_t bar (void) {
  return BAR;
}