Finally, everything compiles (but does not work)