Return an error in case the length is too big. Also take this
opportunity to have a single allocating function for the size and
overflow logic.