file {
    val=
        name: "Hi"
        extension: "txt"
        size: 123

    fn|
        open: (None)->()
        read: (Num)->(String)
        write: (Num, String)->(Bool)
        close: (None)->(Bool)
}