#! /n/gnu/bin/sed -f
# Last edited on 2002-03-31 17:43:55 by stolfi
s:[#]declare image_size *= *[+][0-9][.][0-9];:#declare image_size = +2.4;:
