note that the logger-callback's default argument is #f