Matthew Wahab

• Object code verification