Synapsida stubs