Index of Instructions¶

Instruction	Binary Opcode	Type	Validation	Execution
$try bt$	$0 x 06$	$[t_{1}^{}] \to [t_{2}^{}]$	validation, validation	execution, execution
$catch x$	$0 x 07$		validation	execution
$rethrow n$	$0 x 09$	$[t_{1}^{}] \to [t_{2}^{}]$	validation	execution
$delegate l$	$0 x 18$		validation	execution
$catch_all$	$0 x 19$		validation	execution