Make main() public in uninit-empty-types