Serialize console prints with the print_lock