Currently `microkernel` pipeline does not support 64-bit types, need to support it upon future possible needs.