(in file.home.user
    (block tmp
        (macro type ((type ARG1))
            (typeattributeset typeattr ARG1))

        (typeattribute typeattr)

        (call .file.home.user.type (typeattr))
        (call .file.tmp.type (typeattr))

        (block base_template
            (blockabstract base_template)
            (blockinherit file.home.user.base_template)
            (call file.home.user.tmp.type (file)))

        (block template
            (blockabstract template)
            (blockinherit .file.home.user.tmp.base_template)
            (blockinherit .file.macro_template_files)
            (blockinherit .file.macro_template_dirs))))

(in tmp
    (block user
        (block home
            (macro file_type_transition_file ((type ARG1) (class ARG2) (name ARG3))
                (call .user.home.home_file_type_transition_file (ARG1 ARG2 ARG3)))
            
            (blockinherit .file.home.user.tmp.template)
            (filecon "HOME_DIR/tmp" dir file_context)
            (filecon "HOME_DIR/tmp/.*" file file_context))))

(in file.unconfined
    (call .tmp.user.home.file_type_transition_file (.tmp.user.home.file dir "*"))
    (call .tmp.user.home.file_type_transition_file (.tmp.user.home.file file "*")))