#! /bin/sh expand "$@" | sed 's/"/\\"/g' | awk ' BEGIN { print " [\"\"]" }'