Type signature on SpliceMain.main.