const padding_block_setterinfo: JSJitInfo;