am a338da43: Merge "ART: Add miranda checking"

* commit 'a338da434433b180c33e043929ea79b18f4c093c':
  ART: Add miranda checking