Pasted in non-placeholder code