Test libart.so