include ..\Utilitys.tlhy

:*2 2 * ;
:++ 1 + ;
:composite swap exec swap exec ;

@++ @*2 3 composite ? { result: 7 }

"End " input