typedef bit BOOL;