var x : <ref>Nothing
//jet/Nothing.jet:Nothing