> Such a rule does exist.
First time I hear of this - in fact, as far as I know, different parameters
for the "parametrized abstract machine" are to my knowledge just considered
incompatible. Where is this rule?