To use the terminology from JSpecify:

    null-marked module accounting {
    
    }

Could very well be the sort of thing that comes next.