- param type conversion properly supports deferred param type resolution - fixed struct conversion incomplete Subroutine traversal - struct conversion excludes param types from conversion - parameters are defaulted to have integer type