const margin_block_start_getterinfo: JSJitInfo;