Removed printf and used buxton_debug