extent non-local types