Title: Integrity and the flex programming support environment