#! /bin/sed -f
# Last edited on 2007-07-21 10:23:52 by stolfi

s:r@x@:r4x4:g
s:r@:r4:g