export function AddOne(a), return a + 1. !