provide all-defined-out