mangos src