const margin_block_end_getterinfo: JSJitInfo;