Gnocchi

with pork tenderloin and oriental marinade