better names for the synthetic program elements