    class
    	UNIX_FILE_INFO

    General
    	cluster: base
    	description: "Internal file information"
    	create: make

    Ancestors
    	TO_SPECIAL [T]

    Queries
    	access_date: INTEGER_32
    	buffered_file_info: SPECIAL [CHARACTER_8]
    	change_date: INTEGER_32
    	date: INTEGER_32
    	device: INTEGER_32
    	device_type: INTEGER_32
    	file_name: STRING_8
    	group_id: INTEGER_32
    	group_name: STRING_8
    	infix "@" (i: INTEGER_32): CHARACTER_8
    	inode: INTEGER_32
    	is_access_executable: BOOLEAN
    	is_access_owner: BOOLEAN
    	is_access_readable: BOOLEAN
    	is_access_writable: BOOLEAN
    	is_block: BOOLEAN
    	is_character: BOOLEAN
    	is_device: BOOLEAN
    	is_directory: BOOLEAN
    	is_executable: BOOLEAN
    	is_fifo: BOOLEAN
    	is_owner: BOOLEAN
    	is_plain: BOOLEAN
    	is_readable: BOOLEAN
    	is_setgid: BOOLEAN
    	is_setuid: BOOLEAN
    	is_socket: BOOLEAN
    	is_sticky: BOOLEAN
    	is_symlink: BOOLEAN
    	is_writable: BOOLEAN
    	item alias "[]" (i: INTEGER_32): CHARACTER_8
    	links: INTEGER_32
    	owner_name: STRING_8
    	protection: INTEGER_32
    	size: INTEGER_32
    	type: INTEGER_32
    	user_id: INTEGER_32
    	valid_index (i: INTEGER_32): BOOLEAN

    Commands
    	make
    	put (v: CHARACTER_8; i: INTEGER_32)
    	update (f_name: STRING_8)