* Matthew Fluet: > Those are some intial thoughts, and may provide a starting point for > some discussion. Just a short note, before going to bed: It's probably desirable (if not necessary) to ensure proper alignment of 64 bit objects (doubles, integers, pointers). This might complicate things a bit more.