/* * debug.c * * Created on: 4 sept. 2012 * Author: coissac */#include <stdlib.h>#include <inttypes.h>#include "debug.h"char*int2bin(int64_ti,size_tbits){staticcharstr[65];uint64_tu;if(bits>64)returnNULL;str[bits]=0;// type punning because signed shift is implementation-definedu=*(unsigned*)&i;for(;bits--;u>>=1)str[bits]=u&1?'1':'0';returnstr;}