if `companymain` doesn't work