sanity-check execute() arg