#!/usr/bin/awk -f

/^\$$/ {
 print >file
 close(file)
 file = ""
 next
}
{
  if (file == "") {
    file=$0
  }
  print >file
}


##</code><code>##

split_big_file big_file


##</code><code>##

a2p split_big_file