tiny_stubgen
