でも、関数呼び出し規則については、これが成り立っているでしょ？