Linux User/Kernel ABI: the realities of how C and C++ programs really talk to the OS