*/ public array $instrs; /** * @param list $instrs */ public function __construct( array $instrs, ) { $instrs[] = Instr::End(); $this->instrs = $instrs; } }