使用参数调用分机的初始化文件init.splx @param i，第i个分机，i=0表示分机启动时刻的调用 @param N，共N个分机 @param j，任务名称 @return
(final int i, final int N, final String j)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected