LICENSE file.
Springseed int main() sequence.