Decoder: int->size_t