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