Proper testing for Lucas Lehmer at C. Or at least the beginning of it.