export instruction list, helpers for strings/tokens