These constitute the parameters of the abstract machine.

• 这些就形成了虚拟机器的实现参数。