gnocchi is army food is what I’m hearing