Generates spec header