Cf. the pull https://github.com/tock/libtock-rs/pull/131, specifically the changes * https://github.com/tock/libtock-rs/pull/131/files#diff-431b238bab5245843aa5ac7edf249f7bL58 * https://github.com/tock/libtock-rs/pull/131/files#diff-f08a2946da590a5e9b304f0b55b87608L23