int->len