Re: encoding neutral unpack
[p5sagit/p5-mst-13.2.git] / pp_pack.c
index 784d16e..97e0a06 100644 (file)
--- a/pp_pack.c
+++ b/pp_pack.c
@@ -1,7 +1,7 @@
 /*    pp_pack.c
  *
  *    Copyright (C) 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999,
- *    2000, 2001, 2002, 2003, 2004, by Larry Wall and others
+ *    2000, 2001, 2002, 2003, 2004, 2005, by Larry Wall and others
  *
  *    You may distribute under the terms of either the GNU General Public
  *    License or the Artistic License, as specified in the README file.
  * some salt.
  */
 
+/* This file contains pp ("push/pop") functions that
+ * execute the opcodes that make up a perl program. A typical pp function
+ * expects to find its arguments on the stack, and usually pushes its
+ * results onto the stack, hence the 'pp' terminology. Each OP structure
+ * contains a pointer to the relevant pp_foo() function.
+ *
+ * This particular file just contains pp_pack() and pp_unpack(). See the
+ * other pp*.c files for the rest of the pp_ functions.
+ */
+
+
 #include "EXTERN.h"
 #define PERL_IN_PP_PACK_C
 #include "perl.h"
 
+#if PERL_VERSION >= 9
+#define PERL_PACK_CAN_BYTEORDER
+#define PERL_PACK_CAN_SHRIEKSIGN
+#endif
+
 /*
  * Offset for integer pack/unpack.
  *
@@ -72,7 +88,7 @@
 /* Avoid stack overflow due to pathological templates. 100 should be plenty. */
 #define MAX_SUB_TEMPLATE_LEVEL 100
 
-/* flags */
+/* flags (note that type modifiers can also be used as flags!) */
 #define FLAG_UNPACK_ONLY_ONE  0x10
 #define FLAG_UNPACK_DO_UTF8   0x08
 #define FLAG_SLASH            0x04
@@ -119,34 +135,64 @@ S_mul128(pTHX_ SV *sv, U8 m)
 #define ISUUCHAR(ch)    (memchr(PL_uuemap, (ch), sizeof(PL_uuemap)-1) || (ch) == ' ')
 #endif
 
+/* type modifiers */
 #define TYPE_IS_SHRIEKING      0x100
 #define TYPE_IS_BIG_ENDIAN     0x200
 #define TYPE_IS_LITTLE_ENDIAN  0x400
 #define TYPE_ENDIANNESS_MASK   (TYPE_IS_BIG_ENDIAN|TYPE_IS_LITTLE_ENDIAN)
-#define TYPE_NO_ENDIANNESS(t)  ((t) & ~TYPE_ENDIANNESS_MASK)
+#define TYPE_MODIFIERS(t)      ((t) & ~0xFF)
 #define TYPE_NO_MODIFIERS(t)   ((t) & 0xFF)
 
-#define DO_BO_UNPACK(var, type)                                               \
+#ifdef PERL_PACK_CAN_SHRIEKSIGN
+#define SHRIEKING_ALLOWED_TYPES "sSiIlLxXnNvV"
+#else
+#define SHRIEKING_ALLOWED_TYPES "sSiIlLxX"
+#endif
+
+#ifndef PERL_PACK_CAN_BYTEORDER
+/* Put "can't" first because it is shorter  */
+# define TYPE_ENDIANNESS(t)    0
+# define TYPE_NO_ENDIANNESS(t) (t)
+
+# define ENDIANNESS_ALLOWED_TYPES   ""
+
+# define DO_BO_UNPACK(var, type)
+# define DO_BO_PACK(var, type)
+# define DO_BO_UNPACK_PTR(var, type, pre_cast)
+# define DO_BO_PACK_PTR(var, type, pre_cast)
+# define DO_BO_UNPACK_N(var, type)
+# define DO_BO_PACK_N(var, type)
+# define DO_BO_UNPACK_P(var)
+# define DO_BO_PACK_P(var)
+
+#else
+
+# define TYPE_ENDIANNESS(t)    ((t) & TYPE_ENDIANNESS_MASK)
+# define TYPE_NO_ENDIANNESS(t) ((t) & ~TYPE_ENDIANNESS_MASK)
+
+# define ENDIANNESS_ALLOWED_TYPES   "sSiIlLqQjJfFdDpP("
+
+# define DO_BO_UNPACK(var, type)                                              \
         STMT_START {                                                          \
-          switch (datumtype & TYPE_ENDIANNESS_MASK) {                         \
+          switch (TYPE_ENDIANNESS(datumtype)) {                               \
             case TYPE_IS_BIG_ENDIAN:    var = my_betoh ## type (var); break;  \
             case TYPE_IS_LITTLE_ENDIAN: var = my_letoh ## type (var); break;  \
             default: break;                                                   \
           }                                                                   \
         } STMT_END
 
-#define DO_BO_PACK(var, type)                                                 \
+# define DO_BO_PACK(var, type)                                                \
         STMT_START {                                                          \
-          switch (datumtype & TYPE_ENDIANNESS_MASK) {                         \
+          switch (TYPE_ENDIANNESS(datumtype)) {                               \
             case TYPE_IS_BIG_ENDIAN:    var = my_htobe ## type (var); break;  \
             case TYPE_IS_LITTLE_ENDIAN: var = my_htole ## type (var); break;  \
             default: break;                                                   \
           }                                                                   \
         } STMT_END
 
-#define DO_BO_UNPACK_PTR(var, type, pre_cast)                                 \
+# define DO_BO_UNPACK_PTR(var, type, pre_cast)                                \
         STMT_START {                                                          \
-          switch (datumtype & TYPE_ENDIANNESS_MASK) {                         \
+          switch (TYPE_ENDIANNESS(datumtype)) {                               \
             case TYPE_IS_BIG_ENDIAN:                                          \
               var = (void *) my_betoh ## type ((pre_cast) var);               \
               break;                                                          \
@@ -158,9 +204,9 @@ S_mul128(pTHX_ SV *sv, U8 m)
           }                                                                   \
         } STMT_END
 
-#define DO_BO_PACK_PTR(var, type, pre_cast)                                   \
+# define DO_BO_PACK_PTR(var, type, pre_cast)                                  \
         STMT_START {                                                          \
-          switch (datumtype & TYPE_ENDIANNESS_MASK) {                         \
+          switch (TYPE_ENDIANNESS(datumtype)) {                               \
             case TYPE_IS_BIG_ENDIAN:                                          \
               var = (void *) my_htobe ## type ((pre_cast) var);               \
               break;                                                          \
@@ -172,9 +218,9 @@ S_mul128(pTHX_ SV *sv, U8 m)
           }                                                                   \
         } STMT_END
 
-#define BO_CANT_DOIT(action, type)                                            \
-         STMT_START {                                                         \
-           switch (datumtype & TYPE_ENDIANNESS_MASK) {                        \
+# define BO_CANT_DOIT(action, type)                                           \
+        STMT_START {                                                          \
+          switch (TYPE_ENDIANNESS(datumtype)) {                               \
              case TYPE_IS_BIG_ENDIAN:                                         \
                Perl_croak(aTHX_ "Can't %s big-endian %ss on this "            \
                                 "platform", #action, #type);                  \
@@ -188,40 +234,255 @@ S_mul128(pTHX_ SV *sv, U8 m)
            }                                                                  \
          } STMT_END
 
-#if PTRSIZE == INTSIZE
-# define DO_BO_UNPACK_P(var)   DO_BO_UNPACK_PTR(var, i, int)
-# define DO_BO_PACK_P(var)     DO_BO_PACK_PTR(var, i, int)
-#elif PTRSIZE == LONGSIZE
-# define DO_BO_UNPACK_P(var)   DO_BO_UNPACK_PTR(var, l, long)
-# define DO_BO_PACK_P(var)     DO_BO_PACK_PTR(var, l, long)
-#else
-# define DO_BO_UNPACK_P(var)   BO_CANT_DOIT(unpack, pointer)
-# define DO_BO_PACK_P(var)     BO_CANT_DOIT(pack, pointer)
-#endif
+# if PTRSIZE == INTSIZE
+#  define DO_BO_UNPACK_P(var)  DO_BO_UNPACK_PTR(var, i, int)
+#  define DO_BO_PACK_P(var)    DO_BO_PACK_PTR(var, i, int)
+# elif PTRSIZE == LONGSIZE
+#  define DO_BO_UNPACK_P(var)  DO_BO_UNPACK_PTR(var, l, long)
+#  define DO_BO_PACK_P(var)    DO_BO_PACK_PTR(var, l, long)
+# else
+#  define DO_BO_UNPACK_P(var)  BO_CANT_DOIT(unpack, pointer)
+#  define DO_BO_PACK_P(var)    BO_CANT_DOIT(pack, pointer)
+# endif
 
-#if defined(my_htolen) && defined(my_letohn) && \
+# if defined(my_htolen) && defined(my_letohn) && \
     defined(my_htoben) && defined(my_betohn)
-# define DO_BO_UNPACK_N(var, type)                                            \
+#  define DO_BO_UNPACK_N(var, type)                                           \
          STMT_START {                                                         \
-           switch (datumtype & TYPE_ENDIANNESS_MASK) {                        \
+           switch (TYPE_ENDIANNESS(datumtype)) {                              \
              case TYPE_IS_BIG_ENDIAN:    my_betohn(&var, sizeof(type)); break;\
              case TYPE_IS_LITTLE_ENDIAN: my_letohn(&var, sizeof(type)); break;\
              default: break;                                                  \
            }                                                                  \
          } STMT_END
 
-# define DO_BO_PACK_N(var, type)                                              \
+#  define DO_BO_PACK_N(var, type)                                             \
          STMT_START {                                                         \
-           switch (datumtype & TYPE_ENDIANNESS_MASK) {                        \
+           switch (TYPE_ENDIANNESS(datumtype)) {                              \
              case TYPE_IS_BIG_ENDIAN:    my_htoben(&var, sizeof(type)); break;\
              case TYPE_IS_LITTLE_ENDIAN: my_htolen(&var, sizeof(type)); break;\
              default: break;                                                  \
            }                                                                  \
          } STMT_END
+# else
+#  define DO_BO_UNPACK_N(var, type)    BO_CANT_DOIT(unpack, type)
+#  define DO_BO_PACK_N(var, type)      BO_CANT_DOIT(pack, type)
+# endif
+
+#endif
+
+#define PACK_SIZE_CANNOT_CSUM          0x80
+#define PACK_SIZE_SPARE                        0x40
+#define PACK_SIZE_MASK                 0x3F
+
+
+struct packsize_t {
+    const unsigned char *array;
+    int first;
+    int size;
+};
+
+#define PACK_SIZE_NORMAL 0
+#define PACK_SIZE_SHRIEKING 1
+
+/* These tables are regenerated by genpacksizetables.pl (and then hand pasted
+   in).  You're unlikely ever to need to regenerate them.  */
+#if 'J'-'I' == 1
+/* ASCII */
+unsigned char size_normal[53] = {
+  /* C */ sizeof(unsigned char),
+#if defined(HAS_LONG_DOUBLE) && defined(USE_LONG_DOUBLE)
+  /* D */ LONG_DOUBLESIZE,
+#else
+  0,
+#endif
+  0,
+  /* F */ NVSIZE,
+  0, 0,
+  /* I */ sizeof(unsigned int),
+  /* J */ UVSIZE,
+  0,
+  /* L */ SIZE32,
+  0,
+  /* N */ SIZE32,
+  0, 0,
+#if defined(HAS_QUAD)
+  /* Q */ sizeof(Uquad_t),
+#else
+  0,
+#endif
+  0,
+  /* S */ SIZE16,
+  0,
+  /* U */ sizeof(char),
+  /* V */ SIZE32,
+  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+  /* c */ sizeof(char),
+  /* d */ sizeof(double),
+  0,
+  /* f */ sizeof(float),
+  0, 0,
+  /* i */ sizeof(int),
+  /* j */ IVSIZE,
+  0,
+  /* l */ SIZE32,
+  0,
+  /* n */ SIZE16,
+  0,
+  /* p */ sizeof(char *) | PACK_SIZE_CANNOT_CSUM,
+#if defined(HAS_QUAD)
+  /* q */ sizeof(Quad_t),
+#else
+  0,
+#endif
+  0,
+  /* s */ SIZE16,
+  0, 0,
+  /* v */ SIZE16,
+  /* w */ sizeof(char) | PACK_SIZE_CANNOT_CSUM,
+};
+unsigned char size_shrieking[46] = {
+  /* I */ sizeof(unsigned int),
+  0, 0,
+  /* L */ sizeof(unsigned long),
+  0,
+#if defined(PERL_PACK_CAN_SHRIEKSIGN)
+  /* N */ SIZE32,
+#else
+  0,
+#endif
+  0, 0, 0, 0,
+  /* S */ sizeof(unsigned short),
+  0, 0,
+#if defined(PERL_PACK_CAN_SHRIEKSIGN)
+  /* V */ SIZE32,
+#else
+  0,
+#endif
+  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+  /* i */ sizeof(int),
+  0, 0,
+  /* l */ sizeof(long),
+  0,
+#if defined(PERL_PACK_CAN_SHRIEKSIGN)
+  /* n */ SIZE16,
 #else
-# define DO_BO_UNPACK_N(var, type)     BO_CANT_DOIT(unpack, type)
-# define DO_BO_PACK_N(var, type)       BO_CANT_DOIT(pack, type)
+  0,
 #endif
+  0, 0, 0, 0,
+  /* s */ sizeof(short),
+  0, 0,
+#if defined(PERL_PACK_CAN_SHRIEKSIGN)
+  /* v */ SIZE16
+#else
+  0
+#endif
+};
+struct packsize_t packsize[2] = {
+  {size_normal, 67, 53},
+  {size_shrieking, 73, 46}
+};
+#else
+/* EBCDIC (or bust) */
+unsigned char size_normal[99] = {
+  /* c */ sizeof(char),
+  /* d */ sizeof(double),
+  0,
+  /* f */ sizeof(float),
+  0, 0,
+  /* i */ sizeof(int),
+  0, 0, 0, 0, 0, 0, 0,
+  /* j */ IVSIZE,
+  0,
+  /* l */ SIZE32,
+  0,
+  /* n */ SIZE16,
+  0,
+  /* p */ sizeof(char *) | PACK_SIZE_CANNOT_CSUM,
+#if defined(HAS_QUAD)
+  /* q */ sizeof(Quad_t),
+#else
+  0,
+#endif
+  0, 0, 0, 0, 0, 0, 0, 0, 0,
+  /* s */ SIZE16,
+  0, 0,
+  /* v */ SIZE16,
+  /* w */ sizeof(char) | PACK_SIZE_CANNOT_CSUM,
+  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+  0, 0,
+  /* C */ sizeof(unsigned char),
+#if defined(HAS_LONG_DOUBLE) && defined(USE_LONG_DOUBLE)
+  /* D */ LONG_DOUBLESIZE,
+#else
+  0,
+#endif
+  0,
+  /* F */ NVSIZE,
+  0, 0,
+  /* I */ sizeof(unsigned int),
+  0, 0, 0, 0, 0, 0, 0,
+  /* J */ UVSIZE,
+  0,
+  /* L */ SIZE32,
+  0,
+  /* N */ SIZE32,
+  0, 0,
+#if defined(HAS_QUAD)
+  /* Q */ sizeof(Uquad_t),
+#else
+  0,
+#endif
+  0, 0, 0, 0, 0, 0, 0, 0, 0,
+  /* S */ SIZE16,
+  0,
+  /* U */ sizeof(char),
+  /* V */ SIZE32,
+};
+unsigned char size_shrieking[93] = {
+  /* i */ sizeof(int),
+  0, 0, 0, 0, 0, 0, 0, 0, 0,
+  /* l */ sizeof(long),
+  0,
+#if defined(PERL_PACK_CAN_SHRIEKSIGN)
+  /* n */ SIZE16,
+#else
+  0,
+#endif
+  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+  /* s */ sizeof(short),
+  0, 0,
+#if defined(PERL_PACK_CAN_SHRIEKSIGN)
+  /* v */ SIZE16,
+#else
+  0,
+#endif
+  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+  0, 0, 0, 0, 0, 0, 0, 0, 0,
+  /* I */ sizeof(unsigned int),
+  0, 0, 0, 0, 0, 0, 0, 0, 0,
+  /* L */ sizeof(unsigned long),
+  0,
+#if defined(PERL_PACK_CAN_SHRIEKSIGN)
+  /* N */ SIZE32,
+#else
+  0,
+#endif
+  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
+  /* S */ sizeof(unsigned short),
+  0, 0,
+#if defined(PERL_PACK_CAN_SHRIEKSIGN)
+  /* V */ SIZE32
+#else
+  0
+#endif
+};
+struct packsize_t packsize[2] = {
+  {size_normal, 131, 99},
+  {size_shrieking, 137, 93}
+};
+#endif
+
 
 /* Returns the sizeof() struct described by pat */
 STATIC I32
@@ -234,6 +495,10 @@ S_measure_struct(pTHX_ register tempsym_t* symptr)
     register int size;
 
     while (next_symbol(symptr)) {
+       int which = (symptr->code & TYPE_IS_SHRIEKING)
+           ? PACK_SIZE_SHRIEKING : PACK_SIZE_NORMAL;
+       int offset
+           = TYPE_NO_MODIFIERS(symptr->code) - packsize[which].first;
 
         switch( symptr->howlen ){
         case e_no_len:
@@ -246,165 +511,88 @@ S_measure_struct(pTHX_ register tempsym_t* symptr)
             break;
         }
 
-        /* endianness doesn't influence the size of a type */
-       switch(TYPE_NO_ENDIANNESS(symptr->code)) {
-       default:
-            Perl_croak(aTHX_ "Invalid type '%c' in %s",
-                       (int)TYPE_NO_MODIFIERS(symptr->code),
-                       symptr->flags & FLAG_PACK ? "pack" : "unpack" );
-       case '@':
-       case '/':
-       case 'U':                       /* XXXX Is it correct? */
-       case 'w':
-       case 'u':
-           Perl_croak(aTHX_ "Within []-length '%c' not allowed in %s",
-                       (int)symptr->code,
-                       symptr->flags & FLAG_PACK ? "pack" : "unpack" );
-       case '%':
+       if ((offset >= 0) && (offset < packsize[which].size))
+           size = packsize[which].array[offset] & PACK_SIZE_MASK;
+       else
            size = 0;
-           break;
-       case '(':
-       {
-            tempsym_t savsym = *symptr;
-           symptr->patptr = savsym.grpbeg;
-            symptr->patend = savsym.grpend;
-           /* XXXX Theoretically, we need to measure many times at different
-              positions, since the subexpression may contain
-              alignment commands, but be not of aligned length.
-              Need to detect this and croak().  */
-           size = measure_struct(symptr);
-            *symptr = savsym;
-           break;
-       }
-       case 'X' | TYPE_IS_SHRIEKING:
-           /* XXXX Is this useful?  Then need to treat MEASURE_BACKWARDS. */
-           if (!len)                   /* Avoid division by 0 */
-               len = 1;
-           len = total % len;          /* Assumed: the start is aligned. */
-           /* FALL THROUGH */
-       case 'X':
-           size = -1;
-           if (total < len)
-               Perl_croak(aTHX_ "'X' outside of string in %s",
-                          symptr->flags & FLAG_PACK ? "pack" : "unpack" );
-           break;
-       case 'x' | TYPE_IS_SHRIEKING:
-           if (!len)                   /* Avoid division by 0 */
-               len = 1;
-           star = total % len;         /* Assumed: the start is aligned. */
-           if (star)                   /* Other portable ways? */
-               len = len - star;
-           else
-               len = 0;
-           /* FALL THROUGH */
-       case 'x':
-       case 'A':
-       case 'Z':
-       case 'a':
-       case 'c':
-       case 'C':
-           size = 1;
-           break;
-       case 'B':
-       case 'b':
-           len = (len + 7)/8;
-           size = 1;
-           break;
-       case 'H':
-       case 'h':
-           len = (len + 1)/2;
-           size = 1;
-           break;
-       case 's' | TYPE_IS_SHRIEKING:
-#if SHORTSIZE != SIZE16
-           size = sizeof(short);
-           break;
-#else
-            /* FALL THROUGH */
-#endif
-       case 's':
-           size = SIZE16;
-           break;
-       case 'S' | TYPE_IS_SHRIEKING:
-#if SHORTSIZE != SIZE16
-           size = sizeof(unsigned short);
-           break;
-#else
-            /* FALL THROUGH */
-#endif
-       case 'v' | TYPE_IS_SHRIEKING:
-       case 'n' | TYPE_IS_SHRIEKING:
-       case 'v':
-       case 'n':
-       case 'S':
-           size = SIZE16;
-           break;
-       case 'i' | TYPE_IS_SHRIEKING:
-       case 'i':
-           size = sizeof(int);
-           break;
-       case 'I' | TYPE_IS_SHRIEKING:
-       case 'I':
-           size = sizeof(unsigned int);
-           break;
-       case 'j':
-           size = IVSIZE;
-           break;
-       case 'J':
-           size = UVSIZE;
-           break;
-       case 'l' | TYPE_IS_SHRIEKING:
-#if LONGSIZE != SIZE32
-           size = sizeof(long);
-            break;
-#else
-            /* FALL THROUGH */
-#endif
-       case 'l':
-           size = SIZE32;
-           break;
-       case 'L' | TYPE_IS_SHRIEKING:
-#if LONGSIZE != SIZE32
-           size = sizeof(unsigned long);
-           break;
-#else
-            /* FALL THROUGH */
-#endif
-       case 'V' | TYPE_IS_SHRIEKING:
-       case 'N' | TYPE_IS_SHRIEKING:
-       case 'V':
-       case 'N':
-       case 'L':
-           size = SIZE32;
-           break;
-       case 'P':
-           len = 1;
-           /* FALL THROUGH */
-       case 'p':
-           size = sizeof(char*);
-           break;
-#ifdef HAS_QUAD
-       case 'q':
-           size = sizeof(Quad_t);
-           break;
-       case 'Q':
-           size = sizeof(Uquad_t);
-           break;
-#endif
-       case 'f':
-           size = sizeof(float);
-           break;
-       case 'd':
-           size = sizeof(double);
-           break;
-       case 'F':
-           size = NVSIZE;
-           break;
-#if defined(HAS_LONG_DOUBLE) && defined(USE_LONG_DOUBLE)
-       case 'D':
-           size = LONG_DOUBLESIZE;
-           break;
-#endif
+
+       if (!size) {
+           /* endianness doesn't influence the size of a type */
+           switch(TYPE_NO_ENDIANNESS(symptr->code)) {
+           default:
+               Perl_croak(aTHX_ "Invalid type '%c' in %s",
+                          (int)TYPE_NO_MODIFIERS(symptr->code),
+                          symptr->flags & FLAG_PACK ? "pack" : "unpack" );
+           case '@':
+           case '/':
+           case 'U':                   /* XXXX Is it correct? */
+           case 'w':
+           case 'u':
+               Perl_croak(aTHX_ "Within []-length '%c' not allowed in %s",
+                          (int)symptr->code,
+                          symptr->flags & FLAG_PACK ? "pack" : "unpack" );
+           case '%':
+               size = 0;
+               break;
+           case '(':
+               {
+                   tempsym_t savsym = *symptr;
+                   symptr->patptr = savsym.grpbeg;
+                   symptr->patend = savsym.grpend;
+                   /* XXXX Theoretically, we need to measure many times at
+                      different positions, since the subexpression may contain
+                      alignment commands, but be not of aligned length.
+                      Need to detect this and croak().  */
+                   size = measure_struct(symptr);
+                   *symptr = savsym;
+                   break;
+               }
+           case 'X' | TYPE_IS_SHRIEKING:
+               /* XXXX Is this useful?  Then need to treat MEASURE_BACKWARDS.
+                */
+               if (!len)               /* Avoid division by 0 */
+                   len = 1;
+               len = total % len;      /* Assumed: the start is aligned. */
+               /* FALL THROUGH */
+           case 'X':
+               size = -1;
+               if (total < len)
+                   Perl_croak(aTHX_ "'X' outside of string in %s",
+                              symptr->flags & FLAG_PACK ? "pack" : "unpack" );
+               break;
+           case 'x' | TYPE_IS_SHRIEKING:
+               if (!len)               /* Avoid division by 0 */
+                   len = 1;
+               star = total % len;     /* Assumed: the start is aligned. */
+               if (star)               /* Other portable ways? */
+                   len = len - star;
+               else
+                   len = 0;
+               /* FALL THROUGH */
+           case 'x':
+           case 'A':
+           case 'Z':
+           case 'a':
+           case 'c':
+           case 'C':
+               size = 1;
+               break;
+           case 'B':
+           case 'b':
+               len = (len + 7)/8;
+               size = 1;
+               break;
+           case 'H':
+           case 'h':
+               len = (len + 1)/2;
+               size = 1;
+               break;
+
+           case 'P':
+               len = 1;
+               size = sizeof(char*);
+               break;
+           }
        }
        total += len * size;
     }
@@ -480,6 +668,7 @@ S_next_symbol(pTHX_ register tempsym_t* symptr )
     } else {
       /* We should have found a template code */ 
       I32 code = *patptr++ & 0xFF;
+      U32 inherited_modifiers = 0;
 
       if (code == ','){ /* grandfather in commas but with a warning */
        if (((symptr->flags & FLAG_COMMA) == 0) && ckWARN(WARN_UNPACK)){
@@ -503,6 +692,12 @@ S_next_symbol(pTHX_ register tempsym_t* symptr )
                      symptr->flags & FLAG_PACK ? "pack" : "unpack" );
       }
 
+      /* look for group modifiers to inherit */
+      if (TYPE_ENDIANNESS(symptr->flags)) {
+        if (strchr(ENDIANNESS_ALLOWED_TYPES, TYPE_NO_MODIFIERS(code)))
+          inherited_modifiers |= TYPE_ENDIANNESS(symptr->flags);
+      }
+
       /* look for modifiers */
       while (patptr < patend) {
         const char *allowed;
@@ -510,28 +705,38 @@ S_next_symbol(pTHX_ register tempsym_t* symptr )
         switch (*patptr) {
           case '!':
             modifier = TYPE_IS_SHRIEKING;
-            allowed = "sSiIlLxXnNvV";
+            allowed = SHRIEKING_ALLOWED_TYPES;
             break;
+#ifdef PERL_PACK_CAN_BYTEORDER
           case '>':
             modifier = TYPE_IS_BIG_ENDIAN;
-            allowed = "sSiIlLqQjJfFdDpP";
+            allowed = ENDIANNESS_ALLOWED_TYPES;
             break;
           case '<':
             modifier = TYPE_IS_LITTLE_ENDIAN;
-            allowed = "sSiIlLqQjJfFdDpP";
+            allowed = ENDIANNESS_ALLOWED_TYPES;
             break;
+#endif
           default:
             break;
         }
+
         if (modifier == 0)
           break;
+
         if (!strchr(allowed, TYPE_NO_MODIFIERS(code)))
           Perl_croak(aTHX_ "'%c' allowed only after types %s in %s", *patptr,
                      allowed, symptr->flags & FLAG_PACK ? "pack" : "unpack" );
-        if ((code | modifier) == (code | TYPE_IS_BIG_ENDIAN | TYPE_IS_LITTLE_ENDIAN))
+
+        if (TYPE_ENDIANNESS(code | modifier) == TYPE_ENDIANNESS_MASK)
           Perl_croak(aTHX_ "Can't use both '<' and '>' after type '%c' in %s",
                      (int) TYPE_NO_MODIFIERS(code),
                      symptr->flags & FLAG_PACK ? "pack" : "unpack" );
+        else if (TYPE_ENDIANNESS(code | modifier | inherited_modifiers) ==
+                 TYPE_ENDIANNESS_MASK)
+          Perl_croak(aTHX_ "Can't use '%c' in a group with different byte-order in %s",
+                     *patptr, symptr->flags & FLAG_PACK ? "pack" : "unpack" );
+
         if (ckWARN(WARN_UNPACK)) {
           if (code & modifier)
            Perl_warner(aTHX_ packWARN(WARN_UNPACK),
@@ -539,10 +744,14 @@ S_next_symbol(pTHX_ register tempsym_t* symptr )
                         *patptr, (int) TYPE_NO_MODIFIERS(code),
                         symptr->flags & FLAG_PACK ? "pack" : "unpack" );
         }
+
         code |= modifier;
         patptr++;
       }
 
+      /* inherit modifiers */
+      code |= inherited_modifiers;
+
       /* look for count and/or / */ 
       if (patptr < patend) {
        if (isDIGIT(*patptr)) {
@@ -586,11 +795,11 @@ S_next_symbol(pTHX_ register tempsym_t* symptr )
             if (patptr < patend)
              patptr++;
           } else {
-            if( *patptr == '/' ){ 
+            if (*patptr == '/') {
               symptr->flags |= FLAG_SLASH;
               patptr++;
-              if( patptr < patend &&
-                  (isDIGIT(*patptr) || *patptr == '*' || *patptr == '[') )
+              if (patptr < patend &&
+                  (isDIGIT(*patptr) || *patptr == '*' || *patptr == '['))
                 Perl_croak(aTHX_ "'/' does not take a repeat count in %s",
                            symptr->flags & FLAG_PACK ? "pack" : "unpack" );
             }
@@ -723,6 +932,41 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
 
       redo_switch:
         beyond = s >= strend;
+       {
+           int which = (symptr->code & TYPE_IS_SHRIEKING)
+               ? PACK_SIZE_SHRIEKING : PACK_SIZE_NORMAL;
+           const int rawtype = TYPE_NO_MODIFIERS(datumtype);
+           int offset = rawtype - packsize[which].first;
+
+           if (offset >= 0 && offset < packsize[which].size) {
+               /* Data about this template letter  */
+               unsigned char data = packsize[which].array[offset];
+
+               if (data) {
+                   /* data nonzero means we can process this letter.  */
+                   long size = data & PACK_SIZE_MASK;
+                   long howmany = (strend - s) / size;
+                   if (len > howmany)
+                       len = howmany;
+
+                   /* In the old code, 'p' was the only type without shortcut
+                      code to curtail unpacking to only one.  As far as I can
+                      see the only point of retaining this anomaly is to make
+                      code such as $_ = unpack "p2", pack "pI", "Hi", 2
+                      continue to segfault. ie, it probably should be
+                      construed as a bug.
+                   */
+
+                   if (!checksum || (data & PACK_SIZE_CANNOT_CSUM)) {
+                       if (len && unpack_only_one &&
+                           rawtype != 'p')
+                           len = 1;
+                       EXTEND(SP, len);
+                       EXTEND_MORTAL(len);
+                   }
+               }
+           }
+       }
        switch(TYPE_NO_ENDIANNESS(datumtype)) {
        default:
            Perl_croak(aTHX_ "Invalid type '%c' in unpack", (int)TYPE_NO_MODIFIERS(datumtype) );
@@ -739,6 +983,8 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
        {
            char *ss = s;               /* Move from register */
             tempsym_t savsym = *symptr;
+           U32 group_modifiers = TYPE_MODIFIERS(datumtype & ~symptr->flags);
+           symptr->flags |= group_modifiers;
             symptr->patend = savsym.grpend;
             symptr->level++;
            PUTBACK;
@@ -750,6 +996,7 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
            }
            SPAGAIN;
            s = ss;
+           symptr->flags &= ~group_modifiers;
             savsym.flags = symptr->flags;
             *symptr = savsym;
            break;
@@ -793,8 +1040,7 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
                len = strend - s;
            if (checksum)
                goto uchar_checksum;
-           sv = NEWSV(35, len);
-           sv_setpvn(sv, s, len);
+           sv = newSVpvn(s, len);
            if (len > 0 && (datumtype == 'A' || datumtype == 'Z')) {
                aptr = s;       /* borrow register */
                if (datumtype == 'Z') { /* 'Z' strips stuff after first null */
@@ -839,7 +1085,7 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
                    len -= 8;
                }
                if (len) {
-                   bits = *s;
+                   bits = *s++;
                    if (datumtype == 'b') {
                        while (len-- > 0) {
                            if (bits & 1) cuv++;
@@ -914,32 +1160,17 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
            XPUSHs(sv_2mortal(sv));
            break;
        case 'c':
-           if (len > strend - s)
-               len = strend - s;
-           if (checksum) {
-               while (len-- > 0) {
-                   aint = *s++;
-                   if (aint >= 128)    /* fake up signed chars */
-                       aint -= 256;
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)aint;
-                   else
-                       cuv += aint;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   aint = *s++;
-                   if (aint >= 128)    /* fake up signed chars */
-                       aint -= 256;
-                   sv = NEWSV(36, 0);
-                   sv_setiv(sv, (IV)aint);
-                   PUSHs(sv_2mortal(sv));
-               }
+           while (len-- > 0) {
+               aint = *s++;
+               if (aint >= 128)        /* fake up signed chars */
+                   aint -= 256;
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSViv((IV)aint)));
+               }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)aint;
+               else
+                   cuv += aint;
            }
            break;
        case 'C':
@@ -948,25 +1179,20 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
                 symptr->flags &= ~FLAG_UNPACK_DO_UTF8;
                break;
            }
-           if (len > strend - s)
-               len = strend - s;
            if (checksum) {
              uchar_checksum:
                while (len-- > 0) {
                    auint = *s++ & 255;
-                   cuv += auint;
+                   if (checksum > bits_in_uv)
+                       cdouble += (NV)auint;
+                   else
+                       cuv += auint;
                }
            }
            else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
                while (len-- > 0) {
                    auint = *s++ & 255;
-                   sv = NEWSV(37, 0);
-                   sv_setiv(sv, (IV)auint);
-                   PUSHs(sv_2mortal(sv));
+                   PUSHs(sv_2mortal(newSViv((IV)auint)));
                }
            }
            break;
@@ -977,138 +1203,69 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
            }
            if ((symptr->flags & FLAG_UNPACK_DO_UTF8) == 0)
                 goto unpack_C;
-           if (len > strend - s)
-               len = strend - s;
-           if (checksum) {
-               while (len-- > 0 && s < strend) {
-                   STRLEN alen;
-                   auint = NATIVE_TO_UNI(utf8n_to_uvchr((U8*)s, strend - s, &alen, ckWARN(WARN_UTF8) ? 0 : UTF8_ALLOW_ANYUV));
-                   along = alen;
-                   s += along;
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)auint;
-                   else
-                       cuv += auint;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0 && s < strend) {
-                   STRLEN alen;
-                   auint = NATIVE_TO_UNI(utf8n_to_uvchr((U8*)s, strend - s, &alen, ckWARN(WARN_UTF8) ? 0 : UTF8_ALLOW_ANYUV));
-                   along = alen;
-                   s += along;
-                   sv = NEWSV(37, 0);
-                   sv_setuv(sv, (UV)auint);
-                   PUSHs(sv_2mortal(sv));
-               }
+           while (len-- > 0 && s < strend) {
+               STRLEN alen;
+               auint = NATIVE_TO_UNI(utf8n_to_uvchr((U8*)s, strend - s, &alen, ckWARN(WARN_UTF8) ? 0 : UTF8_ALLOW_ANYUV));
+               along = alen;
+               s += along;
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSVuv((UV)auint)));
+               }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)auint;
+               else
+                   cuv += auint;
            }
            break;
        case 's' | TYPE_IS_SHRIEKING:
 #if SHORTSIZE != SIZE16
-           along = (strend - s) / sizeof(short);
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   COPYNN(s, &ashort, sizeof(short));
-                   DO_BO_UNPACK(ashort, s);
-                   s += sizeof(short);
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)ashort;
-                   else
-                       cuv += ashort;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   COPYNN(s, &ashort, sizeof(short));
-                   DO_BO_UNPACK(ashort, s);
-                   s += sizeof(short);
-                   sv = NEWSV(38, 0);
-                   sv_setiv(sv, (IV)ashort);
-                   PUSHs(sv_2mortal(sv));
-               }
+           while (len-- > 0) {
+               COPYNN(s, &ashort, sizeof(short));
+               DO_BO_UNPACK(ashort, s);
+               s += sizeof(short);
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSViv((IV)ashort)));
+               }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)ashort;
+               else
+                   cuv += ashort;
            }
            break;
 #else
            /* Fallthrough! */
 #endif
        case 's':
-           along = (strend - s) / SIZE16;
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   COPY16(s, &ai16);
-                   DO_BO_UNPACK(ai16, 16);
-#if U16SIZE > SIZE16
-                   if (ai16 > 32767)
-                       ai16 -= 65536;
-#endif
-                   s += SIZE16;
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)ai16;
-                   else
-                       cuv += ai16;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-
-               while (len-- > 0) {
-                   COPY16(s, &ai16);
-                   DO_BO_UNPACK(ai16, 16);
+           while (len-- > 0) {
+               COPY16(s, &ai16);
+               DO_BO_UNPACK(ai16, 16);
 #if U16SIZE > SIZE16
-                   if (ai16 > 32767)
-                       ai16 -= 65536;
+               if (ai16 > 32767)
+                   ai16 -= 65536;
 #endif
-                   s += SIZE16;
-                   sv = NEWSV(38, 0);
-                   sv_setiv(sv, (IV)ai16);
-                   PUSHs(sv_2mortal(sv));
+               s += SIZE16;
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSViv((IV)ai16)));
                }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)ai16;
+               else
+                   cuv += ai16;
            }
            break;
        case 'S' | TYPE_IS_SHRIEKING:
 #if SHORTSIZE != SIZE16
-           along = (strend - s) / sizeof(unsigned short);
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   COPYNN(s, &aushort, sizeof(unsigned short));
-                   DO_BO_UNPACK(aushort, s);
-                   s += sizeof(unsigned short);
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)aushort;
-                   else
-                       cuv += aushort;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   COPYNN(s, &aushort, sizeof(unsigned short));
-                   DO_BO_UNPACK(aushort, s);
-                   s += sizeof(unsigned short);
-                   sv = NEWSV(39, 0);
-                   sv_setiv(sv, (UV)aushort);
-                   PUSHs(sv_2mortal(sv));
-               }
+           while (len-- > 0) {
+               COPYNN(s, &aushort, sizeof(unsigned short));
+               DO_BO_UNPACK(aushort, s);
+               s += sizeof(unsigned short);
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSViv((UV)aushort)));
+               }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)aushort;
+               else
+                   cuv += aushort;
            }
            break;
 #else
@@ -1117,381 +1274,170 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
        case 'v':
        case 'n':
        case 'S':
-           along = (strend - s) / SIZE16;
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   COPY16(s, &au16);
-                   DO_BO_UNPACK(au16, 16);
-                   s += SIZE16;
-#ifdef HAS_NTOHS
-                   if (datumtype == 'n')
-                       au16 = PerlSock_ntohs(au16);
-#endif
-#ifdef HAS_VTOHS
-                   if (datumtype == 'v')
-                       au16 = vtohs(au16);
-#endif
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)au16;
-                   else
-                       cuv += au16;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   COPY16(s, &au16);
-                   DO_BO_UNPACK(au16, 16);
-                   s += SIZE16;
-                   sv = NEWSV(39, 0);
+           while (len-- > 0) {
+               COPY16(s, &au16);
+               DO_BO_UNPACK(au16, 16);
+               s += SIZE16;
 #ifdef HAS_NTOHS
-                   if (datumtype == 'n')
-                       au16 = PerlSock_ntohs(au16);
+               if (datumtype == 'n')
+                   au16 = PerlSock_ntohs(au16);
 #endif
 #ifdef HAS_VTOHS
-                   if (datumtype == 'v')
-                       au16 = vtohs(au16);
+               if (datumtype == 'v')
+                   au16 = vtohs(au16);
 #endif
-                   sv_setiv(sv, (UV)au16);
-                   PUSHs(sv_2mortal(sv));
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSViv((UV)au16)));
                }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)au16;
+               else
+                   cuv += au16;
            }
            break;
+#ifdef PERL_PACK_CAN_SHRIEKSIGN
        case 'v' | TYPE_IS_SHRIEKING:
        case 'n' | TYPE_IS_SHRIEKING:
-           along = (strend - s) / SIZE16;
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   COPY16(s, &ai16);
-                   s += SIZE16;
-#ifdef HAS_NTOHS
-                   if (datumtype == ('n' | TYPE_IS_SHRIEKING))
-                       ai16 = (I16)PerlSock_ntohs((U16)ai16);
-#endif
-#ifdef HAS_VTOHS
-                   if (datumtype == ('v' | TYPE_IS_SHRIEKING))
-                       ai16 = (I16)vtohs((U16)ai16);
-#endif
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)ai16;
-                   else
-                       cuv += ai16;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   COPY16(s, &ai16);
-                   s += SIZE16;
+           while (len-- > 0) {
+               COPY16(s, &ai16);
+               s += SIZE16;
 #ifdef HAS_NTOHS
-                   if (datumtype == ('n' | TYPE_IS_SHRIEKING))
-                       ai16 = (I16)PerlSock_ntohs((U16)ai16);
+               if (datumtype == ('n' | TYPE_IS_SHRIEKING))
+                   ai16 = (I16)PerlSock_ntohs((U16)ai16);
 #endif
 #ifdef HAS_VTOHS
-                   if (datumtype == ('v' | TYPE_IS_SHRIEKING))
-                       ai16 = (I16)vtohs((U16)ai16);
+               if (datumtype == ('v' | TYPE_IS_SHRIEKING))
+                   ai16 = (I16)vtohs((U16)ai16);
 #endif
-                   sv = NEWSV(39, 0);
-                   sv_setiv(sv, (IV)ai16);
-                   PUSHs(sv_2mortal(sv));
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSViv((IV)ai16)));
                }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)ai16;
+               else
+                   cuv += ai16;
            }
            break;
+#endif
        case 'i':
        case 'i' | TYPE_IS_SHRIEKING:
-           along = (strend - s) / sizeof(int);
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   Copy(s, &aint, 1, int);
-                   DO_BO_UNPACK(aint, i);
-                   s += sizeof(int);
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)aint;
-                   else
-                       cuv += aint;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   Copy(s, &aint, 1, int);
-                   DO_BO_UNPACK(aint, i);
-                   s += sizeof(int);
-                   sv = NEWSV(40, 0);
-#ifdef __osf__
-                    /* Without the dummy below unpack("i", pack("i",-1))
-                     * return 0xFFffFFff instead of -1 for Digital Unix V4.0
-                     * cc with optimization turned on.
-                    *
-                    * The bug was detected in
-                    * DEC C V5.8-009 on Digital UNIX V4.0 (Rev. 1091) (V4.0E)
-                    * with optimization (-O4) turned on.
-                    * DEC C V5.2-040 on Digital UNIX V4.0 (Rev. 564) (V4.0B)
-                    * does not have this problem even with -O4.
-                    *
-                    * This bug was reported as DECC_BUGS 1431
-                    * and tracked internally as GEM_BUGS 7775.
-                    *
-                    * The bug is fixed in
-                    * Tru64 UNIX V5.0:      Compaq C V6.1-006 or later
-                    * UNIX V4.0F support:   DEC C V5.9-006 or later
-                    * UNIX V4.0E support:   DEC C V5.8-011 or later
-                    * and also in DTK.
-                    *
-                    * See also few lines later for the same bug.
-                    */
-                    (aint) ?
-                       sv_setiv(sv, (IV)aint) :
-#endif
-                   sv_setiv(sv, (IV)aint);
-                   PUSHs(sv_2mortal(sv));
-               }
+           while (len-- > 0) {
+               Copy(s, &aint, 1, int);
+               DO_BO_UNPACK(aint, i);
+               s += sizeof(int);
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSViv((IV)aint)));
+               }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)aint;
+               else
+                   cuv += aint;
            }
            break;
        case 'I':
        case 'I' | TYPE_IS_SHRIEKING:
-           along = (strend - s) / sizeof(unsigned int);
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   Copy(s, &auint, 1, unsigned int);
-                   DO_BO_UNPACK(auint, i);
-                   s += sizeof(unsigned int);
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)auint;
-                   else
-                       cuv += auint;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   Copy(s, &auint, 1, unsigned int);
-                   DO_BO_UNPACK(auint, i);
-                   s += sizeof(unsigned int);
-                   sv = NEWSV(41, 0);
-#ifdef __osf__
-                    /* Without the dummy below unpack("I", pack("I",0xFFFFFFFF))
-                     * returns 1.84467440737096e+19 instead of 0xFFFFFFFF.
-                    * See details few lines earlier. */
-                    (auint) ?
-                       sv_setuv(sv, (UV)auint) :
-#endif
-                   sv_setuv(sv, (UV)auint);
-                   PUSHs(sv_2mortal(sv));
-               }
+           while (len-- > 0) {
+               Copy(s, &auint, 1, unsigned int);
+               DO_BO_UNPACK(auint, i);
+               s += sizeof(unsigned int);
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSVuv((UV)auint)));
+               }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)auint;
+               else
+                   cuv += auint;
            }
            break;
        case 'j':
-           along = (strend - s) / IVSIZE;
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   Copy(s, &aiv, 1, IV);
-#if IVSIZE == INTSIZE
-                   DO_BO_UNPACK(aiv, i);
-#elif IVSIZE == LONGSIZE
-                   DO_BO_UNPACK(aiv, l);
-#elif defined(HAS_QUAD) && IVSIZE == U64SIZE
-                   DO_BO_UNPACK(aiv, 64);
-#endif
-                   s += IVSIZE;
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)aiv;
-                   else
-                       cuv += aiv;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   Copy(s, &aiv, 1, IV);
+           while (len-- > 0) {
+               Copy(s, &aiv, 1, IV);
 #if IVSIZE == INTSIZE
-                   DO_BO_UNPACK(aiv, i);
+               DO_BO_UNPACK(aiv, i);
 #elif IVSIZE == LONGSIZE
-                   DO_BO_UNPACK(aiv, l);
+               DO_BO_UNPACK(aiv, l);
 #elif defined(HAS_QUAD) && IVSIZE == U64SIZE
-                   DO_BO_UNPACK(aiv, 64);
+               DO_BO_UNPACK(aiv, 64);
 #endif
-                   s += IVSIZE;
-                   sv = NEWSV(40, 0);
-                   sv_setiv(sv, aiv);
-                   PUSHs(sv_2mortal(sv));
+               s += IVSIZE;
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSViv(aiv)));
                }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)aiv;
+               else
+                   cuv += aiv;
            }
            break;
        case 'J':
-           along = (strend - s) / UVSIZE;
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   Copy(s, &auv, 1, UV);
-#if UVSIZE == INTSIZE
-                   DO_BO_UNPACK(auv, i);
-#elif UVSIZE == LONGSIZE
-                   DO_BO_UNPACK(auv, l);
-#elif defined(HAS_QUAD) && UVSIZE == U64SIZE
-                   DO_BO_UNPACK(auv, 64);
-#endif
-                   s += UVSIZE;
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)auv;
-                   else
-                       cuv += auv;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   Copy(s, &auv, 1, UV);
+           while (len-- > 0) {
+               Copy(s, &auv, 1, UV);
 #if UVSIZE == INTSIZE
-                   DO_BO_UNPACK(auv, i);
+               DO_BO_UNPACK(auv, i);
 #elif UVSIZE == LONGSIZE
-                   DO_BO_UNPACK(auv, l);
+               DO_BO_UNPACK(auv, l);
 #elif defined(HAS_QUAD) && UVSIZE == U64SIZE
-                   DO_BO_UNPACK(auv, 64);
+               DO_BO_UNPACK(auv, 64);
 #endif
-                   s += UVSIZE;
-                   sv = NEWSV(41, 0);
-                   sv_setuv(sv, auv);
-                   PUSHs(sv_2mortal(sv));
+               s += UVSIZE;
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSVuv(auv)));
                }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)auv;
+               else
+                   cuv += auv;
            }
            break;
        case 'l' | TYPE_IS_SHRIEKING:
 #if LONGSIZE != SIZE32
-           along = (strend - s) / sizeof(long);
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   COPYNN(s, &along, sizeof(long));
-                   DO_BO_UNPACK(along, l);
-                   s += sizeof(long);
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)along;
-                   else
-                       cuv += along;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   COPYNN(s, &along, sizeof(long));
-                   DO_BO_UNPACK(along, l);
-                   s += sizeof(long);
-                   sv = NEWSV(42, 0);
-                   sv_setiv(sv, (IV)along);
-                   PUSHs(sv_2mortal(sv));
-               }
+           while (len-- > 0) {
+               COPYNN(s, &along, sizeof(long));
+               DO_BO_UNPACK(along, l);
+               s += sizeof(long);
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSViv((IV)along)));
+               }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)along;
+               else
+                   cuv += along;
            }
            break;
 #else
            /* Fallthrough! */
 #endif
        case 'l':
-           along = (strend - s) / SIZE32;
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-#if LONGSIZE > SIZE32 && INTSIZE == SIZE32
-                   I32 along;
-#endif
-                   COPY32(s, &along);
-                   DO_BO_UNPACK(along, 32);
-#if LONGSIZE > SIZE32
-                   if (along > 2147483647)
-                       along -= 4294967296;
-#endif
-                   s += SIZE32;
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)along;
-                   else
-                       cuv += along;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-#if LONGSIZE > SIZE32 && INTSIZE == SIZE32
-                   I32 along;
-#endif
-                   COPY32(s, &along);
-                   DO_BO_UNPACK(along, 32);
-#if LONGSIZE > SIZE32
-                   if (along > 2147483647)
-                       along -= 4294967296;
-#endif
-                   s += SIZE32;
-                   sv = NEWSV(42, 0);
-                   sv_setiv(sv, (IV)along);
-                   PUSHs(sv_2mortal(sv));
-               }
+           while (len-- > 0) {
+               COPY32(s, &ai32);
+               DO_BO_UNPACK(ai32, 32);
+#if U32SIZE > SIZE32
+               if (ai32 > 2147483647)
+                   ai32 -= 4294967296;
+#endif
+               s += SIZE32;
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSViv((IV)ai32)));
+               }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)ai32;
+               else
+                   cuv += ai32;
            }
            break;
        case 'L' | TYPE_IS_SHRIEKING:
 #if LONGSIZE != SIZE32
-           along = (strend - s) / sizeof(unsigned long);
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   COPYNN(s, &aulong, sizeof(unsigned long));
-                   DO_BO_UNPACK(aulong, l);
-                   s += sizeof(unsigned long);
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)aulong;
-                   else
-                       cuv += aulong;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   COPYNN(s, &aulong, sizeof(unsigned long));
-                   DO_BO_UNPACK(aulong, l);
-                   s += sizeof(unsigned long);
-                   sv = NEWSV(43, 0);
-                   sv_setuv(sv, (UV)aulong);
-                   PUSHs(sv_2mortal(sv));
-               }
+           while (len-- > 0) {
+               COPYNN(s, &aulong, sizeof(unsigned long));
+               DO_BO_UNPACK(aulong, l);
+               s += sizeof(unsigned long);
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSVuv((UV)aulong)));
+               }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)aulong;
+               else
+                   cuv += aulong;
            }
            break;
 #else
@@ -1500,121 +1446,62 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
        case 'V':
        case 'N':
        case 'L':
-           along = (strend - s) / SIZE32;
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   COPY32(s, &au32);
-                   DO_BO_UNPACK(au32, 32);
-                   s += SIZE32;
-#ifdef HAS_NTOHL
-                   if (datumtype == 'N')
-                       au32 = PerlSock_ntohl(au32);
-#endif
-#ifdef HAS_VTOHL
-                   if (datumtype == 'V')
-                       au32 = vtohl(au32);
-#endif
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)au32;
-                   else
-                       cuv += au32;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   COPY32(s, &au32);
-                   DO_BO_UNPACK(au32, 32);
-                   s += SIZE32;
+           while (len-- > 0) {
+               COPY32(s, &au32);
+               DO_BO_UNPACK(au32, 32);
+               s += SIZE32;
 #ifdef HAS_NTOHL
-                   if (datumtype == 'N')
-                       au32 = PerlSock_ntohl(au32);
+               if (datumtype == 'N')
+                   au32 = PerlSock_ntohl(au32);
 #endif
 #ifdef HAS_VTOHL
-                   if (datumtype == 'V')
-                       au32 = vtohl(au32);
+               if (datumtype == 'V')
+                   au32 = vtohl(au32);
 #endif
-                   sv = NEWSV(43, 0);
-                   sv_setuv(sv, (UV)au32);
-                   PUSHs(sv_2mortal(sv));
-               }
+                if (!checksum) {
+                    PUSHs(sv_2mortal(newSVuv((UV)au32)));
+                }
+                else if (checksum > bits_in_uv)
+                    cdouble += (NV)au32;
+                else
+                    cuv += au32;
            }
            break;
+#ifdef PERL_PACK_CAN_SHRIEKSIGN
        case 'V' | TYPE_IS_SHRIEKING:
        case 'N' | TYPE_IS_SHRIEKING:
-           along = (strend - s) / SIZE32;
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   COPY32(s, &ai32);
-                   s += SIZE32;
-#ifdef HAS_NTOHL
-                   if (datumtype == ('N' | TYPE_IS_SHRIEKING))
-                       ai32 = (I32)PerlSock_ntohl((U32)ai32);
-#endif
-#ifdef HAS_VTOHL
-                   if (datumtype == ('V' | TYPE_IS_SHRIEKING))
-                       ai32 = (I32)vtohl((U32)ai32);
-#endif
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)ai32;
-                   else
-                       cuv += ai32;
-               }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   COPY32(s, &ai32);
-                   s += SIZE32;
+           while (len-- > 0) {
+               COPY32(s, &ai32);
+               s += SIZE32;
 #ifdef HAS_NTOHL
-                   if (datumtype == ('N' | TYPE_IS_SHRIEKING))
-                       ai32 = (I32)PerlSock_ntohl((U32)ai32);
+               if (datumtype == ('N' | TYPE_IS_SHRIEKING))
+                   ai32 = (I32)PerlSock_ntohl((U32)ai32);
 #endif
 #ifdef HAS_VTOHL
-                   if (datumtype == ('V' | TYPE_IS_SHRIEKING))
-                       ai32 = (I32)vtohl((U32)ai32);
+               if (datumtype == ('V' | TYPE_IS_SHRIEKING))
+                   ai32 = (I32)vtohl((U32)ai32);
 #endif
-                   sv = NEWSV(43, 0);
-                   sv_setiv(sv, (IV)ai32);
-                   PUSHs(sv_2mortal(sv));
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSViv((IV)ai32)));
                }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)ai32;
+               else
+                   cuv += ai32;
            }
            break;
+#endif
        case 'p':
-           along = (strend - s) / sizeof(char*);
-           if (len > along)
-               len = along;
-           EXTEND(SP, len);
-           EXTEND_MORTAL(len);
            while (len-- > 0) {
-               if (sizeof(char*) > strend - s)
-                   break;
-               else {
-                   Copy(s, &aptr, 1, char*);
-                   DO_BO_UNPACK_P(aptr);
-                   s += sizeof(char*);
-               }
-               sv = NEWSV(44, 0);
-               if (aptr)
-                   sv_setpv(sv, aptr);
-               PUSHs(sv_2mortal(sv));
+               assert (sizeof(char*) <= strend - s);
+               Copy(s, &aptr, 1, char*);
+               DO_BO_UNPACK_P(aptr);
+               s += sizeof(char*);
+               /* newSVpv generates undef if aptr is NULL */
+               PUSHs(sv_2mortal(newSVpv(aptr, 0)));
            }
            break;
        case 'w':
-            if (len && unpack_only_one)
-                len = 1;
-           EXTEND(SP, len);
-           EXTEND_MORTAL(len);
            {
                UV auv = 0;
                U32 bytes = 0;
@@ -1624,9 +1511,7 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
                    /* UTF8_IS_XXXXX not right here - using constant 0x80 */
                    if ((U8)(*s++) < 0x80) {
                        bytes = 0;
-                       sv = NEWSV(40, 0);
-                       sv_setuv(sv, auv);
-                       PUSHs(sv_2mortal(sv));
+                       PUSHs(sv_2mortal(newSVuv(auv)));
                        len--;
                        auv = 0;
                    }
@@ -1666,194 +1551,93 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
                DO_BO_UNPACK_P(aptr);
                s += sizeof(char*);
            }
-           sv = NEWSV(44, 0);
-           if (aptr)
-               sv_setpvn(sv, aptr, len);
-           PUSHs(sv_2mortal(sv));
+           /* newSVpvn generates undef if aptr is NULL */
+           PUSHs(sv_2mortal(newSVpvn(aptr, len)));
            break;
 #ifdef HAS_QUAD
        case 'q':
-           along = (strend - s) / sizeof(Quad_t);
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   Copy(s, &aquad, 1, Quad_t);
-                   DO_BO_UNPACK(aquad, 64);
-                   s += sizeof(Quad_t);
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)aquad;
-                   else
-                       cuv += aquad;
-               }
-           }
-            else {
-                if (len && unpack_only_one)
-                    len = 1;
-                EXTEND(SP, len);
-                EXTEND_MORTAL(len);
-                while (len-- > 0) {
-                    if (s + sizeof(Quad_t) > strend)
-                        aquad = 0;
-                    else {
-                       Copy(s, &aquad, 1, Quad_t);
-                       DO_BO_UNPACK(aquad, 64);
-                       s += sizeof(Quad_t);
-                    }
-                    sv = NEWSV(42, 0);
-                    if (aquad >= IV_MIN && aquad <= IV_MAX)
-                       sv_setiv(sv, (IV)aquad);
-                    else
-                        sv_setnv(sv, (NV)aquad);
-                    PUSHs(sv_2mortal(sv));
+           while (len-- > 0) {
+               assert (s + sizeof(Quad_t) <= strend);
+               Copy(s, &aquad, 1, Quad_t);
+               DO_BO_UNPACK(aquad, 64);
+               s += sizeof(Quad_t);
+               if (!checksum) {
+                    PUSHs(sv_2mortal((aquad >= IV_MIN && aquad <= IV_MAX) ?
+                                    newSViv((IV)aquad) : newSVnv((NV)aquad)));
                 }
-            }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)aquad;
+               else
+                   cuv += aquad;
+           }
            break;
        case 'Q':
-           along = (strend - s) / sizeof(Uquad_t);
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   Copy(s, &auquad, 1, Uquad_t);
-                   DO_BO_UNPACK(auquad, 64);
-                   s += sizeof(Uquad_t);
-                   if (checksum > bits_in_uv)
-                       cdouble += (NV)auquad;
-                   else
-                       cuv += auquad;
-               }
+           while (len-- > 0) {
+               assert (s + sizeof(Uquad_t) <= strend);
+               Copy(s, &auquad, 1, Uquad_t);
+               DO_BO_UNPACK(auquad, 64);
+               s += sizeof(Uquad_t);
+               if (!checksum) {
+                   PUSHs(sv_2mortal((auquad <= UV_MAX) ?
+                                    newSVuv((UV)auquad) : newSVnv((NV)auquad)));
+               }
+               else if (checksum > bits_in_uv)
+                   cdouble += (NV)auquad;
+               else
+                   cuv += auquad;
            }
-            else {
-                if (len && unpack_only_one)
-                    len = 1;
-                EXTEND(SP, len);
-                EXTEND_MORTAL(len);
-                while (len-- > 0) {
-                    if (s + sizeof(Uquad_t) > strend)
-                        auquad = 0;
-                    else {
-                        Copy(s, &auquad, 1, Uquad_t);
-                       DO_BO_UNPACK(auquad, 64);
-                        s += sizeof(Uquad_t);
-                    }
-                    sv = NEWSV(43, 0);
-                    if (auquad <= UV_MAX)
-                        sv_setuv(sv, (UV)auquad);
-                    else
-                   sv_setnv(sv, (NV)auquad);
-                    PUSHs(sv_2mortal(sv));
-                }
-            }
            break;
 #endif
        /* float and double added gnb@melba.bby.oz.au 22/11/89 */
        case 'f':
-           along = (strend - s) / sizeof(float);
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   Copy(s, &afloat, 1, float);
-                   DO_BO_UNPACK_N(afloat, float);
-                   s += sizeof(float);
-                   cdouble += afloat;
+           while (len-- > 0) {
+               Copy(s, &afloat, 1, float);
+               DO_BO_UNPACK_N(afloat, float);
+               s += sizeof(float);
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSVnv((NV)afloat)));
                }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   Copy(s, &afloat, 1, float);
-                   DO_BO_UNPACK_N(afloat, float);
-                   s += sizeof(float);
-                   sv = NEWSV(47, 0);
-                   sv_setnv(sv, (NV)afloat);
-                   PUSHs(sv_2mortal(sv));
+               else {
+                   cdouble += afloat;
                }
            }
            break;
        case 'd':
-           along = (strend - s) / sizeof(double);
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   Copy(s, &adouble, 1, double);
-                   DO_BO_UNPACK_N(adouble, double);
-                   s += sizeof(double);
-                   cdouble += adouble;
+           while (len-- > 0) {
+               Copy(s, &adouble, 1, double);
+               DO_BO_UNPACK_N(adouble, double);
+               s += sizeof(double);
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSVnv((NV)adouble)));
                }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   Copy(s, &adouble, 1, double);
-                   DO_BO_UNPACK_N(adouble, double);
-                   s += sizeof(double);
-                   sv = NEWSV(48, 0);
-                   sv_setnv(sv, (NV)adouble);
-                   PUSHs(sv_2mortal(sv));
+               else {
+                   cdouble += adouble;
                }
            }
            break;
        case 'F':
-           along = (strend - s) / NVSIZE;
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   Copy(s, &anv, 1, NV);
-                   DO_BO_UNPACK_N(anv, NV);
-                   s += NVSIZE;
-                   cdouble += anv;
+           while (len-- > 0) {
+               Copy(s, &anv, 1, NV);
+               DO_BO_UNPACK_N(anv, NV);
+               s += NVSIZE;
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSVnv(anv)));
                }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   Copy(s, &anv, 1, NV);
-                   DO_BO_UNPACK_N(anv, NV);
-                   s += NVSIZE;
-                   sv = NEWSV(48, 0);
-                   sv_setnv(sv, anv);
-                   PUSHs(sv_2mortal(sv));
+               else {
+                   cdouble += anv;
                }
            }
            break;
 #if defined(HAS_LONG_DOUBLE) && defined(USE_LONG_DOUBLE)
        case 'D':
-           along = (strend - s) / LONG_DOUBLESIZE;
-           if (len > along)
-               len = along;
-           if (checksum) {
-               while (len-- > 0) {
-                   Copy(s, &aldouble, 1, long double);
-                   DO_BO_UNPACK_N(aldouble, long double);
-                   s += LONG_DOUBLESIZE;
-                   cdouble += aldouble;
+           while (len-- > 0) {
+               Copy(s, &aldouble, 1, long double);
+               DO_BO_UNPACK_N(aldouble, long double);
+               s += LONG_DOUBLESIZE;
+               if (!checksum) {
+                   PUSHs(sv_2mortal(newSVnv((NV)aldouble)));
                }
-           }
-           else {
-                if (len && unpack_only_one)
-                    len = 1;
-               EXTEND(SP, len);
-               EXTEND_MORTAL(len);
-               while (len-- > 0) {
-                   Copy(s, &aldouble, 1, long double);
-                   DO_BO_UNPACK_N(aldouble, long double);
-                   s += LONG_DOUBLESIZE;
-                   sv = NEWSV(48, 0);
-                   sv_setnv(sv, (NV)aldouble);
-                   PUSHs(sv_2mortal(sv));
+               else {cdouble += aldouble;
                }
            }
            break;
@@ -1920,10 +1704,9 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
        }
 
        if (checksum) {
-           sv = NEWSV(42, 0);
            if (strchr("fFdD", TYPE_NO_MODIFIERS(datumtype)) ||
              (checksum > bits_in_uv &&
-              strchr("csSiIlLnNUvVqQjJ", TYPE_NO_MODIFIERS(datumtype))) ) {
+              strchr("cCsSiIlLnNUvVqQjJ", TYPE_NO_MODIFIERS(datumtype))) ) {
                NV trouble;
 
                 adouble = (NV) (1 << (checksum & 15));
@@ -1934,14 +1717,14 @@ S_unpack_rec(pTHX_ register tempsym_t* symptr, register char *s, char *strbeg, c
                while (cdouble < 0.0)
                    cdouble += adouble;
                cdouble = Perl_modf(cdouble / adouble, &trouble) * adouble;
-               sv_setnv(sv, cdouble);
+               sv = newSVnv(cdouble);
            }
            else {
                if (checksum < bits_in_uv) {
                    UV mask = ((UV)1 << checksum) - 1;
                    cuv &= mask;
                }
-               sv_setuv(sv, cuv);
+               sv = newSVuv(cuv);
            }
            XPUSHs(sv_2mortal(sv));
            checksum = 0;
@@ -2258,6 +2041,8 @@ S_pack_rec(pTHX_ SV *cat, register tempsym_t* symptr, register SV **beglist, SV
        case '(':
        {
             tempsym_t savsym = *symptr;
+           U32 group_modifiers = TYPE_MODIFIERS(datumtype & ~symptr->flags);
+           symptr->flags |= group_modifiers;
             symptr->patend = savsym.grpend;
             symptr->level++;
            while (len--) {
@@ -2266,6 +2051,7 @@ S_pack_rec(pTHX_ SV *cat, register tempsym_t* symptr, register SV **beglist, SV
                if (savsym.howlen == e_star && beglist == endlist)
                    break;              /* No way to continue */
            }
+           symptr->flags &= ~group_modifiers;
             lookahead.flags = symptr->flags;
             *symptr = savsym;
            break;
@@ -2476,7 +2262,7 @@ S_pack_rec(pTHX_ SV *cat, register tempsym_t* symptr, register SV **beglist, SV
            while (len-- > 0) {
                fromstr = NEXTFROM;
                auint = UNI_TO_NATIVE(SvUV(fromstr));
-               SvGROW(cat, SvCUR(cat) + UTF8_MAXLEN + 1);
+               SvGROW(cat, SvCUR(cat) + UTF8_MAXBYTES + 1);
                SvCUR_set(cat,
                          (char*)uvchr_to_utf8_flags((U8*)SvEND(cat),
                                                     auint,
@@ -2574,7 +2360,9 @@ S_pack_rec(pTHX_ SV *cat, register tempsym_t* symptr, register SV **beglist, SV
            }
            break;
 #endif
+#ifdef PERL_PACK_CAN_SHRIEKSIGN
        case 'n' | TYPE_IS_SHRIEKING:
+#endif
        case 'n':
            while (len-- > 0) {
                fromstr = NEXTFROM;
@@ -2585,7 +2373,9 @@ S_pack_rec(pTHX_ SV *cat, register tempsym_t* symptr, register SV **beglist, SV
                CAT16(cat, &ai16);
            }
            break;
+#ifdef PERL_PACK_CAN_SHRIEKSIGN
        case 'v' | TYPE_IS_SHRIEKING:
+#endif
        case 'v':
            while (len-- > 0) {
                fromstr = NEXTFROM;
@@ -2790,7 +2580,9 @@ S_pack_rec(pTHX_ SV *cat, register tempsym_t* symptr, register SV **beglist, SV
                sv_catpvn(cat, (char*)&aint, sizeof(int));
            }
            break;
+#ifdef PERL_PACK_CAN_SHRIEKSIGN
        case 'N' | TYPE_IS_SHRIEKING:
+#endif
        case 'N':
            while (len-- > 0) {
                fromstr = NEXTFROM;
@@ -2801,7 +2593,9 @@ S_pack_rec(pTHX_ SV *cat, register tempsym_t* symptr, register SV **beglist, SV
                CAT32(cat, &au32);
            }
            break;
+#ifdef PERL_PACK_CAN_SHRIEKSIGN
        case 'V' | TYPE_IS_SHRIEKING:
+#endif
        case 'V':
            while (len-- > 0) {
                fromstr = NEXTFROM;
@@ -2954,3 +2748,12 @@ PP(pp_pack)
     RETURN;
 }
 
+/*
+ * Local variables:
+ * c-indentation-style: bsd
+ * c-basic-offset: 4
+ * indent-tabs-mode: t
+ * End:
+ *
+ * vim: shiftwidth=4:
+*/