using existing FGL utility function
cleaning up filtering
filtering GNU thread local storage
renamed C attributes
force thread start functions to return void
support for initializer lists for struct/unions
enforce signature of thread start functions
filter for 'main' function
filter for reserved prefix 'ec_'
fixed desugar of switch, fixed tests w.r.t. prefix filter
using _Bool type
fixed evaluation app to conform with new filters
minor extension of a test
test case for normalize: multiple critical calls
use source code order for normalization
Call nodes in 1st normal form use labels as continaution
function parameters are not per se critical
minor correction for allTVars
mangling of static variables is a back-end job
declare t-stacks static