@unascribed I prefer

int main(void) {
horny();
}