replaced char* by idents, minor fix in Firm codegen for call