code: function main() {
  	// TODO: move loading of inputs into main function
  	check(lookupQType(typeDecl.global,[]), {key: snapshot.global}, '', false, null, '<global>');
  	if (program.missing) {
  		findSuggestions()
  	}
  	if (program.coverage) {
  		printCoverage();
  	}
  	if (program.stats) {
  		console.log("# heap objects = " + snapshot.heap.length)
  		console.log("# call signatures = " + num_callsigs_analyzed)
  	}
  }
docs: ------------------------ Entry Point ------------------------