debug cerf(), changed some int --> size_t