get_random_boolean : BOOLEAN;