Basic blocks need a context on creation
Flow control API changes for outputting basic blocks
printf() pointer values as void *