[x^32 + 256, 256]
