add sepc and gen_server calls wireup