Fixing different bit vector lengths through zero extension
Fixing different bit vector lengths through zero extension

ChristianMoesl/selfie,cksystemsteaching/selfie,cksystemsteaching/selfie,ChristianMoesl/selfie,cksystemsteaching/selfie