Read tests directly from RFC