translated subscription var
added `trans` for debugging in toplevel