more tests.
new callback for function arguments

function arguments have their own semantics; they
are already initialized
better handling of global and static declarations

new statement classes for global and static declarations.