sS psI_str(S snippetID) {
  ret str(psI(snippetID));
}