getWorklist doesn't create a pointer for the queue anymore
set_store() after div and mod
generated documentation