Now that we codegen the portable "sizeof" efficiently, we can use it for