Rascal #1543

Comments