goto-init-for function fun!