Doesn't redbean do this in a more portable way (not ELF dependent)?