error(permission_error(modify, flag), bounded)