The i1 is arbitrary: we do not know the correct type to use and have no way of representing an untyped undef.