Since these are very used now, should we inline them?