private def x := 10

#check _root_.x
#check x
#guard x + 1 == 11