/* this sets 'request_gadget_id' */
HandleGadgets(mx, my, button_status);
/* this sets 'request_gadget_id' */
HandleGadgets(mx, my, button_status);
{
case EL_QUICKSAND_FILLING: return EL_QUICKSAND_FULL;
case EL_QUICKSAND_EMPTYING: return EL_QUICKSAND_EMPTY;
{
case EL_QUICKSAND_FILLING: return EL_QUICKSAND_FULL;
case EL_QUICKSAND_EMPTYING: return EL_QUICKSAND_EMPTY;