
External: bash has builtins that replace these external commands, but OSH
doesn't)

