(
(ret)
(retn 1000)
(retf)
)