added protodef