emit records and types