initial support for logging builtins auto-correction