Inclusion of printf for debugging purposes