Redid alias example
Add DoubleMain class
Add DoubleMain executable