instance variable elimination - prep for C implementation
expand_spec re-modularize