Cooked Japanese green beans with salt