Make main public to accommodate check-fast