intro->implementation fully compiles