main() useful for debugging