fixed: some missing types in proc declarations