Finished parameterizing Core on the representation of calling convention