random
typing
