(block tty_container
(blockabstract tty_container)
(optional tty_container_optional
(allow process device_t list_dir_perms)
(allow process device_t read_lnk_file_perms)
(allow process devtty_t rw_chr_file_perms)
)