https://github.com/thepowersgang/mrustc/issues/140