P
Initializing...
Φ on whole arrays: zero padded, source address b holds xs[2·kOf b + b_d] · Prove2Me