On 20 July 2013 19:37, Joshua Landau <joshua at landau.ws> wrote: > mapping int -> int Well, on second thought it's not quite this unless it's a 1:1 mapping. Point remains valid, though, I think.