!759

sS src = [[
  !7
  
  p {
    print("Hello world!");
  }
]];

p-subst {
  showWeb(web_stringsToChain(javaTokC(src)));
}