I think that this is generally what makes all rust code sound, so I'd just want to double-check to make sure this is ok.