RUN: $(SimpleMipProgramMb)