2015-01-15 Richard Sandiford <richard.sandiford@arm.com>