Just loding the file is enough to test code in reds.cpp. Signed-off-by: Frediano Ziglio <freddy77@gmail.com>