#!/usr/bin/awk -f
{
  if (substr($0,1,7)=="rem s3a")
    printf("%s rem s3a\n", substr($0,8,length($0)-8))
  else if (substr($0,length($0)-7,7)=="rem s3z")
    printf("rem s3z %s\n", substr($0,1,length($0)-8))
  else
    printf("%s\n",$0)
}