The basic variable encoding works now