/* Last edited on 2023-02-21 19:56:01 by stolfi */

    /* Physical figure dimensions: */
    double xSize = 140.0;   /* Physical figure width (mm). */
    double ySize = 210.0;   /* Physical figure height (mm). */
    st_adjust_rect_shape(&xPlot, &yPlot, xSize, ySize);

    /* Choose size for EPS figure: */
    double xPtSize = 72.0*xSize/25.4;
    double yPtSize = 72.0*ySize/25.4;
    double mrg = 4.0;
    
  
void close_ps_file(epswr_figure_t *eps, bool_t @e@p@s@)
  {
    epswr_end_figure(eps);
  }