Wait, I thought that trait exposed low-level ABI details? Wouldn't that make this code unportable?