const margin_block_getterinfo: JSJitInfo;