{ %fail } generic procedure proc(arg: T); external 'lib'; begin specialize proc(1); end.