Move main into example
Generalise includes