{
  # Define the workspace names
  w0 = ''0:0'';
  w1 = ''1:1'';
  w2 = ''2:2'';
  w3 = ''3:3'';
  w4 = ''4:4'';
  w5 = ''5:5'';
  w6 = ''6:6'';
  w7 = ''7:7'';
  w8 = ''8:8'';
  w9 = ''9:9'';
  w1a = ''11:I'';
  w2a = ''22:II'';
  w3a = ''33:III'';
  w4a = ''44:IV'';
  w5a = ''55:V'';
  w6a = ''66:VI'';
  w7a = ''77:VII'';
  w8a = ''88:VIII'';
  w9a = ''99:IX'';
}