Pātuhitia tēnei: Object code verification