Programming the Green Hills INTEGRITY Target