public uint256(base_uint256 b) { for (int i = 0; i < WIDTH; i++) { pn[i] = b.pn[i]; } }
public uint256(base_uint256 b) { for(int i = 0 ; i < WIDTH ; i++) pn[i] = b.pn[i]; }