#include <err.h>

int main() {
  warnx("hello warning %d\n", 42);
  return 0;
}