The ART platform layer of the Android KitKat (>4.4) operating system