fix: procedure type as parameter