translation to POSIX sh