More debugging in main.c