curved marvin (164.820)