brun -n -c '44' '(((0x1337 . (0x1337 . (42 . 0x1337))) . 0x1337) . 0x1337)'
cost = 64
42
