Stupid bug in odr_malloc