Added initial imports, defined main().