const margin_block_setterinfo: JSJitInfo;