printf("%#x",0) should print 0 not 0x0
[musl] / include / sys / ucontext.h
1 #include <ucontext.h>