main.c tested