Does a (true) stack for values make sense?
3SAT-Parser now works again (the website was changed in between, smil-URL is now harder to extract).