TODO: read settings from a configuration file