《隋书・五行志下》：「开皇末，渭南有沙门三人，行投陀法於人场圃之上。夜见大豕来诣其所，大豕从者十余，谓沙门曰：『阿练，我欲得贤圣道，然犹负他一命。』言罢而去。」参见「链师」。