mit v5 testcompiled