Commented out printfs used for debugging