Guest allocator `inout` support and a few minor fixes/improvements

[rvolosatovs]

47 sans the actual syscall, for which NULL handling is still to be discussed

blocking #67 #47 (since the dependencies of the implementation are now extracted here)