lib, pylib: implement get_all