Future Directions in Project Pedantic

Finish czech
move to yacc grammar
C parser
examine sizes of arguments

Prauge: in the works
dynamic runtime checking
may use ptrace(2) functionality
may be able to do static from ktrace output