type Unit = Unit
$nop(x) = Unit
@unit init Unit = @@unit
out $nop(@unit)