dbenum.c (plain text)
// dbenum
// list all PocketC applets

main() {
   string name;

   name = dbenum(1, "PCvm", "PktC");
   do {
      puts(name + "\n");
      name = dbenum(0, "PCvm", "PktC");
   } while (name != 0);
}