File: rfc.rb