VARIABLES T P T >: Int P := My