{ label = "shorten target", run=shorten },
{ label = "shorten source", run=shorten },
{ label = "shorten both", run=shorten },
{ label = "shorten target", run=shorten },
{ label = "shorten source", run=shorten },
{ label = "shorten both", run=shorten },