[COMMIT] Change semantics of print_internal