A bit of work on decoding stack:value maps