// Only useful for #inclusion.