define CAST
