assert BANK(@) == 1