using rAnDOMnesS
using Primitives

x : N
x = 5