Christopher Hinds (ARM, Inc., Austin, Texas, USA)