added missing prototypes
typos
FIX: pushed a value instead of a pointer

fixed by allocating a single uint64_t and put the value inside. Gets
free'd when it is poped from stack.
fixed parameter