Update bolzano.c