note that the translation into shell isn't exhaustive