is the bug induced by user_input ? one could submit a function in there