This is already fixed in c via bitint types and disabling implicit integer sign casting.