Wash the pumpkin and cut the top quarter off. Scoop out the flesh to within 2 cm of sides and cube. Put the shell on one side for using later. Slice the onion and chile and crush the garlic. Heat the oil and fry the onion and chile together with the curry leaves. When the onion is soft add the pumpkin, salt, pepper, turmeric and thin coconut milk and cook until the pumpkin is' done. Pour the Coconut milk, thick onto the ground rice, mustard and garlic and add to the pumpkin mixture, stirring as it thickens. Bring to the boil and simmer for a few minutes. Remove from heat and spoon into pump- kin shell. Sprinkle with the curry powder and lime juice.