Change format of local and global getter and setter instructions