This is a way to sleep without a wakeup channel.

I had to rename the symbol to bsd_pause because it conflicts with the classic
Unix pause syscall exposed through unistd.h via libcstd++.