some built-in syntaxs and procedures