Common use of 内核程序 Clause in Contracts