Add printf(s) for testing purposes