.
lucky dino decl