finally implemented prop:procedure for structs