type int42(object i)
    return i=42
end type

int42 i

i = 41 -- type-check failure