pretty="$prettya running $osname"

case "$kernlvl1" in
  gmp) if test -n "$gmp_version"; then
         prettyk="$prettyk0/GMP-%s"
       else
         prettyk="$prettyk0/GMP"
       fi;;
  none) prettyk="$prettyk0";;
  *) prettyk="$prettyk0/$kernlvl1";;
esac

case "$sizeof_long" in
  4) prettyf="$pretty ($prettyk kernel) 32-bit version";;
  8) prettyf="$pretty ($prettyk kernel) 64-bit version";;
esac;
pretty=`echo $prettyf | sed s/-%s//`
