This info is shown between main.ih and main.cc
