let xk_nabla                                       = 0x8c5