more restrictions on annotation args