VARIABLES T P T <: Int P := My