Another Dalvik Abstract Machine