proj: switch from pointer receiver to value receiver