brun -c '(0xfffeffff00 )'
cost = 4294901761
()
