{
  "$START": 128001,
  "[MASK]": 128000
}