const padding_block_getterinfo: JSJitInfo;