Main for testing