main() doesn't get run automatically, apparently