bson_append_int32(3) on Linux

The text 0a5c4fc7272b, as Debian 9 (Stretch) shipped it.

The bson_append_int32() function shall append a new element to bson containing a 32-bit signed integer.