a56: non-void should return a value bug in main.c