!752

p {
  S id = androidGetBootProgram();

  if (id == null)
    print("No boot program registered.");
  else
    print("Boot program is: " + id + " - " + getSnippetTitle(id));
}