FILE@[0; 20)
  SHEBANG@[0; 20)