Test for main method, RED