def get_avail_mb(): int
f: FILE = FILE.open("/proc/meminfo","r")
s: string = ""
while s.length < 200 do s += " "
f.read(s, 200, 1)
var a = s.split("\n")
s = a[2]
t: string = ""
for var i = 0 to s.length
if s[i] <= '9' && s[i] >= '0'
t += s[i].to_string()
return int.parse(t)/1000
请注意我如何将字符串分配给 200while s.length < 200 do s += " "
个字符并从文件中将字节读入该字符串?除了追加空格字符 N 次之外,有没有更好的方法在 Genie 中将字符串的长度设置为 N 个字符?