#include "defn.h"

linesize()
{
   int         ipen = 0;
   float       linewidth;

  if (SIGNED_NUMERIC)
       ipen = getval() - 1;

  if (ipen < 0 || ipen > 8)
       ipen = 0;

   linewidth = pen_size[ipen] * SCALE;         /* In mm */
   printf("%g mm setlinewidth\n", linewidth);
}