what company involved in the development of teenage mutant ninja turtles did marco arment work for ?
SELECT DISTINCT var_uri where brack_open dbr_Marco_Arment dbo_occupation var_uri sep_dot dbr_Teenage_Mutant_Ninja_Turtles_ attr_open 2014_video_game attr_close dbo_developer var_uri brack_close