# type: ignore
= # |\label{line:output-domain}|
# |\label{line:TO-output}|
= # |\label{line:size}|
# |\label{line:try-catch}|
return # |\label{line:exact-int-cast}|
return # |\label{line:except-return}|
=
= # |\label{line:stability-map}|
return