# This is a 'bad' configuration file since it contains an invalid port
[server]
port = 20033002