Computing locally injective mappings by advanced MIPS | Synapse