The L3 language uses first-class locations, returning them inside tuples. It is designed to support the output of cursorize, without going all the way to L4, which is more restricted.