main seems to work, tentatively