fun main () : transaction page = return {[case String.split "abc{" #"{" of None => "!" | Some (pre, post) => pre ^ post]}