Comments on "Soft32"