Instructions
------------

Run "make" and then "python test185_lib.py".

Expected output
---------------

x1:1
x2:1
x3:1
x4:1
x5:1
x6:1
x7:1
x8:1
x9:1
x30:1
x31:1
x32:1
y:1.230000
z:2.340000

Actual output
-------------

Segfault (on x86-64).
