Adding support for printf