\newcommand{\Returns}[1]{
	\State \textbf{returns} #1
}