subroutine def_diags_empty() return end