trailer_or_error is not required for correctness