used for mangos source code