[mahmud]

Standard ML, rather.

It might have appeared in earlier MLs as an extension.

[throwaway7645]

And I was soooo close :)