The segfault was caused in printf due to wrong type info.

TODO: go over other instances of printing where types may be wrong