Do we know what data type `shell` will be? Do we always need to cast this to a string?