objmagic

Keybase proof

I hereby claim:

• I am marklrh on github.
• I am obj (https://keybase.io/obj) on keybase.
• I have a public key whose fingerprint is 0845 664C 7DB7 4D16 14AF 15B2 9BAE C3C4 D9BC 675E

To claim this, I am signing this object:

objmagic

(* x + a = b

   xl + au >= bl *)

let au = 4.0
let bl = float_of_string "0x0.0000000000001p0"

let neg_zero = Int64.float_of_bits 0x8000_0000_0000_0000L
let pos_zero = Int64.float_of_bits 0x0000_0000_0000_0000L

objmagic

(* double dichotomy to determine floating point range for x
   in ``x + a == b``, given value of ``a`` and ``b`` *)
type t =
  | Range of float * float
  | Single of float
  | Empty

let to_string = function
  | Range (l, u) -> Printf.sprintf "{%.16e ... %.16e}" l u
  | Single f -> Printf.sprintf "{%.16e}" f

objmagic

(gdb) bt
#0  0x00007fa474c711d7 in raise () from /lib64/libc.so.6
#1  0x00007fa474c728c8 in abort () from /lib64/libc.so.6
#2  0x00007fa4759999d5 in __gnu_cxx::__verbose_terminate_handler() () from /lib64/libstdc++.so.6
#3  0x00007fa475997946 in ?? () from /lib64/libstdc++.so.6
#4  0x00007fa475997973 in std::terminate() () from /lib64/libstdc++.so.6
#5  0x00007fa475997b93 in __cxa_throw () from /lib64/libstdc++.so.6
#6  0x000000000040a27f in (anonymous namespace)::cpp_alloc (nothrow=false, size=1572832) at src/tcmalloc.cc:1458
#7  0x000000000062a4b5 in cpp_alloc (nothrow=false, size=1572832) at src/tcmalloc.cc:1466
#8  tc_new (size=1572832) at src/tcmalloc.cc:1612

objmagic

{
      e_30_867212753412304896:E(key:{ d:30, e:867212753412304896 }) {
        fieldA {
          description
          d
          e
          name
          l {
            apple
            c

objmagic

SETLOCALE(3)             BSD Library Functions Manual             SETLOCALE(3)

NAME
     setlocale -- natural language formatting for C

LIBRARY
 Standard C Library (libc, -lc)

objmagic

/*
 * Copyright (c) 1991, 1993
 *	The Regents of the University of California.  All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * 1. Redistributions of source code must retain the above copyright
 *    notice, this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright

objmagic