# This should fail

b : boolean := true ** false; -- no such operation