smartalign: use a "times" construct rather than %rep