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