steve.py: added `printf` and `shell_escape`