Things like s[0], etc. need to be explained, see tvm.pdf.