## SHOULD_PASS:COMPILE

@inputs In
@outputs Out

~In
$In
->In
->Out