final from c: