Integer variable replaced by Int64 after failure